Completed (I hope...) lambda lifting. Yaay!