Added semantic checker stub. Extended the evaluator to work for any type
Ensure that ast::eval::Context is mutable