Return type annotations for statement lambdas

[evhub]

Unfortunately, since -> is used for the lambda itself, we can't also use it for the return type annotation. Thus, instead, we'd be forced to implement something like

f = def (x: int): int -> x

which is somewhat confusing, making this a bit questionable.