No more inferred kinds in base

A lot of kinds in base were not quantified explicitly but inferred which matters now that we have visible kind application. This includes

• Const, Compose, Sum, Product (Data.Functor.*)
• Coercion, TestCoercion
• (:~:), TestEquality
• UAddr, UChar, UDouble UFloat, UInt, UWord, Rec0, D1, C1, S1, Datatype, Constructor, Selector (type synonyms and classes from GHC.Generics)

This patch specifies their quantification allowing their index to be supplied.

Change to the function arrow (#18142 (closed)) and Category were separated out.