It's not useful to encode kinds in types, because when you have the whole picture, you can lookup the kind in the information you keep about the relevant `ClassDef`. Storing them in types is redundant.
Hence, it's not made explicit here because it would be more of a burden than helpful.