Existentials

Adds a new syntax extension named ExistentialQuantification that allows the use of existential quantification in data type or newtype declarations similar to Haskell, e.g.:

data Foo = forall a . Bar a