Initial version of lambda
Commiting before replacing the source with that of tt
Copied over tt as a starting point
Copied over tt as a starting point
First version based on tt
Constants and better printing of lambda abstractions
Print context in correct order (older first)