Implement `if let`

Implement the new desugaring `if let` syntax.

Fixes #16779.
In fact use `let elseopt = elseopt.map(...);`