Added strings
Added literal chars
Added parsing of superclasses/constraints in instances
Added test for typechecking superclasses
Instances such as (instance Eq a => Eq [a]) implemented
Added Eq instance for Maybe