Is your feature request related to a problem? Please describe

Lambdas can currently be used as arguments and results of functions. We don't have a good use case for the latter, but it makes static analysis more difficult, since lambdas are closures.

Desired solution

Allow lambdas only as arguments and as default values of parameters. We can relax this later if the need arises to return lambdas.