test of basic define and lookup.
Added shadowing of lexical bindings.
Finished implementation of Environment for variables.