Transform/lambdalift

Lambda lifting now fully integrated. 

However, it can't be merged with previous phases. Should find out why.

Review by @DarkDimius