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