Fix a bug involving let bindings and unused variable removal. Support extended let in do-notation.