Add typing to lambda parameters

[Ayfri]

It would be cool to see the type of the lambda parameters (or even enable auto-completion about the type, as currently we can't at all, the arguments are always inferred as Any).