since evenything is an environment, we need to be able to do dumb stuff, like eval in the 3 environment
made a class for environments
removed the Environ type class silliness by making Reference Left be of type (Value,Symbol) rather than (Env,Symbol)
this further reinforces everythin is an environment