Classes: Types

We can divide types into these abstract classes:

Let's expand those: