Expression Unnesting

At the end of this series of steps, every place context apart from simple let-bindings contains a side-effect-free place expression and every value context contains an operand, as defined in the Final Language section.