primitive version of Parser, added Empty expression

Added toString() method to types
Added a Keyword class to simplify parsing
Added toString() method to TypeContext and ConstraintSet
Removed the expression field of the expression class
Added Empty expression type
Parser has an Expression constructor method (has bugs)