Incremental lambda lifting

Three nested loops:

• original source code
• after macro expansion
• after closure analysis and lambda lifting
• after conversion to A-normal form and optimization