add lambdalifter and shadowing elimination phases (WIP)