In the remainder of 6 the type model of ObjectTypes and VariableTypes is defined regarding subtyping and instantiation.