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.