Proposed adding let to normalized AST.  Started proposal for untyped IR.