> 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 eve

> 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.