R1126

R1126 / 1:1

Class defines exactly one Class Type

Class Type is defined by exactly one Class

---

Effectively a Class simply IS a Class Type, thus the unconditional correlation.

Class Type is abstracted independently partially to isolate the type role from the class subsystem proper. In the future we may find value in considering this role independently and not getting wrapped up in class models in general.

Another benefit is that we can consider all Types, Class and otherwise, as general Spanning Elements of a doamin and number them accordingly. Thus all Types are identified uniquely by a Tnum and the Domain. There's a certain simplicity in that.