Added almost working lambda lifting.
Several infrastructural upgrades.