3.1. Class sub-typing

Figure 3.1. 

A class type C1can be a sub-type of some Class TypeVariable ProductType or SelfType