Refactoring: deleted old DP files, renamed Definitions; also introduced recursive types
Refactoring: moar renamings
Recursive types, 2nd try; introducing Rec
Fixed recursive types; changed fct sign to have an arg Type, not FullType
Updated checker
Added a frontend stub
Finally got this Rec thing at the right place