Allow kind annotations in `forall` contexts

We should allow kind annotations in forall binders, in the same vein as type/data declarations

```purescript
identity :: forall (a :: Type) . a -> a
```