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