Fix typo in Format.hs causing pattern-match errors
Add annotated expression type for lambda-lifting
Implemented first version of lambda-lifing. Needs cleanup.
Add tests for lambda expressions and updated Makefile
Add --transform to show program transformations
Avoid generating let-expressions with no bindings