[gclaramunt]

Also, kinds can be viewed as the "types" of types, right?

[catnaroek]

Sure. If your hierarchy (values, types, etc.) stops at kinds, I'd rather call them kinds, but even TAPL informally explains kinds as “the types of types” (p. 441, quotation marks in the original).