Refutability: Mention `let`-`else` statement

[veera-sivarajan]

trafficstars

This PR mentions the let-else statement as an example of language construct that can accept both refutable and irrefutable patterns.