Syntactic sugar for functions whose argument types should be inferred

[fehrenbach]

Parse lambda x . e as lambda x : _ . e. Parse lambda x y . e as lambda (x : _) (y : _) . e.