Pedro will write this. Notes:

• data kind K ...

• Allow * on data kinds? Or maybe Type, or Star.

• Perhaps also data type D ...

• Promote type synonyms by default

• What about type kind K1 = K2?

• Even worse: type type T1 = T2...