support defining different categories of types

[KotlinIsland]

in some ways, similar to Not types, but at the declaration site:

@category
class Missing:
    ....

a: object = Missing()  # error: "Missing" is in a different category to `object`, despite inheriting from it at runtime