Document desugaring equivalence for `for` and `if let` and `while let`

[Havvy]

Since any Rust impl is going to need to be semantically equivalent to the desugaring that rustc does, we should document what the desugarings are in the reference.

The for loop one is documented already in the std lib.