Allow parameter types to be omitted from closure expressions

We should allow you to write `fn&(x, y)` and infer the types for `x` and `y` just as we now infer the types for `{|x, y|...}`.  Similarly we should infer the return type too---not sure whether we should require something like `fn&(x, y) -> { ... }` in that case, though.
