Remove support for existential quantified type variables in data type declarations
This merge request removes support for existential quantified type variables in data type declarations.
Existential quantified type variables are currently not working correctly. So the support will be removed in favor of a cleaner compiler implementation and the upcoming support for arbitrary-rank types.
Depends on curry-base!11 (merged)
Closes #29 (closed)