From: Jerzy Karczmarczuk

So, even more seriously, I propose to use more often Latin and Greek.

Jerzy's arguments make a lot of sense to me, but why not use an index-based notation? T0 = Type T1 = Kind T2 = Sort etc. this seems easier to me than an arbitrary hierarchy, particularly as you go higher up the structure. John Lato