support forall / ∀ in all type signatures and allow type signatures in data declarations