Simplify Type to only contain one constructor Type and move the...

quantification of the type variables to the name bindings with the
Quantifier data Type.
Rename Quantifier => QName and reimplement most functions according to new type