There is no behaviour specified regarding subtypes and instances when changing ObjectTypesand VariableTypes. It is Server-dependent, if those changes are reflected on the subtypes and instances of the types. However, all constraints defined for subtypes and instances have to be fulfilled. For example, it is not allowed to add a Propertyusing the ModellingRule Mandatoryon a type if instances of this type exist without the Property. In that case, the Servereither has to add the Propertyto all instances of the type or adding the Propertyon the type has to be rejected.