completed and tested MoveSet difference & inclusion
added a core interpreter stub
Rewrote DP type instantiation and fixed type dependencies
Changed type hierarchy to allow abstract types to have type parameters; commented old Datapaths
Fixed absolute dependencies and generic expansion, introduced type propagation
Changed semantics of 'k' in Field to represent the type of the field, not of its parent
Fixed ExpandGenerics by allowing map to discard appending
Introduced region aliases in types
Alias expansion and handling
Fixed diverging expansion algo
Introduced parsing for regions