A diagram of values, types, kinds, and sorts, for reference.

The hierarchy of values, types, kinds, and sorts