Implement `if let`

Implement the new desugaring `if let` syntax.

Fixes #16779.
use a `let ... match` here rather than making elseopt mutable