Added remaining export types to parser
Introduced ASTQType

Now types with class context are represented in a consistent way
Typeclass parsing test
Renamed overly wordy AST class names
Typeclass instance parsing test