Let clauses

Implemented let clauses to give names to local expressions.