Added Eval & Context
Added module comment
Split out Error module
Added EvalT