Rewrite 'Kinds of types and Kinds'
Rewrite 'Kinds creating and enforcing'
Rewrite 'Kind polymorphism'