LambdaConstants

There is currently no syntax for _lambda constants_.  For example, expressions like this:

```
type fun is function(int)->int

function f(int x) -> (int y):
    return x+1

function create() -> fun:
    return &f
```