Still need to modify reduction semantics to include
envioronment.
finished the backend. I can now move to parser and pretty printing
and testing.