Compiling value closures in "let" expressions
Reasoning about intermediate values as either "constant" or "expression"
Other related refactorings