In particular in forall abc. <blah> we should
kind generalise over <blah> as well as over the
kinds of a,b,c.

This fixes bug (in Trac #5862, caught by Lint) in the handling of
  data SMaybe a where
     SNothing :: SMaybe 'Nothing
where I didn't get a sufficiently general kind. And it's simpler.