In the remainder of 6the type model of ObjectTypesand VariableTypesis defined regarding subtyping and instantiation.