Added name to expressions for variable types.
Defined lambda type.
Implemented lambdas.

We're really making progress!!!
Made test_evaluator work with environment stuff.