Embed information about function closures within trees. Simpler phase.
Promote LetDef to purescala