Token-id is a unique identifier of a particular token.
It's not a classical token, because it doesn't contain the image of the token.
The token image is handled separately in general.
The common place where the tokens should be defined is
the appropriate token-context for which they are being
The fact that TokenID extends TokenCategory
helps to treat the colorings more easily by working with
TokenCategory only (it can be TokenID too).