5.2 Structure Level
As we mentioned in the begining, mode has the following structure level.
Set is the widest mode, for example, there is Real below it and Nat below
Real. In other words, Nat becomes set, Real becomes set, and Nat becomes
Real. This way of thinking is similar to an Object Oriented Language. The
same symbols are used from the top.