If we find ourselves making up an AnyTyCon of kind '??', say, 
then default it to liftedTypeKind.  And similarly for any sub-kind
of LiftedTypeKind.

This is just a tidy-up.