Remove the `ExistentialQuantification` extension

This includes:

• Simplifying the type schemes
• Removing the ExistentialQuantification extension
• Removing support in the parser
• Removing existential quantified type variables and type contexts from the internal data type representations

This will be closed with curry-base!11 (merged) and !13 (merged).