Errata exists for this version of the document.

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