Remove the `ExistentialQuantification` extension
This includes:
- Simplifying the type schemes
- Removing the
ExistentialQuantificationextension - 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).