Support for the changes introduced with type classes
This MR adds support for the new .cdoc version with type classes. At first I extended the data type TypeExpr with a new constructor for forall expressions. Then I removed all functions with a #-name from the search database and updated the pretty printing of functions and types.