[still_grokking]

> this is a fundamental misunderstanding of what types are. They're not, in general, subsets of some larger universe of values

Correct.

Actually there are even much more (infinite many?) types than values.