Made the Context copyable. Removed some redundant code and comments.
Did some class name refactoring.
Base now defines only what is needed for an evaluation, not for an execution environment.