Isn't that exactly what a type is? A set of possib...

# announcements

[karelpeeters]

Isn't that exactly what a type is? A set of possible values? And now you have to decide how many possible values there are?