Initial development of the grammar
Changed name of class datatypes to kind, added TruthKind
Changed format of XML picklers somewhat
Refurbished and reformatted AST for the new parser, added an XML pickler
Added XML pickler and other instances for AbstractionKind