drop the first element of the "identSupply": This avoids errors because "a" is often used in type signatures etc.

adjusted parser so that 1) the new seperator is considered 2) constructed function names with operators in them are handled correctly

new helper function "hasSpecialSyntax" that returns whether a given type constructor has a special syntax

pretty printing of interface, instance declarations: unqualify instance type if it`s a special syntax type