Added code for a lot of things
Added code for lambda expressions (application expressions)
Added code for handling identifiers and the environment
Added code for let-bindings
Improved error handling
Improved test generation