Some more corrections to lambda expressions
Some more corrections to lambda expressions

* Parameters are patterns, not idents.
* Make it clear that inference can be done on just some of the parameters

rust-lang/reference,rust-lang/reference