[This is preliminary documentation and subject to change.]
The following topics define changes to the mapping based on the set of allowable subtyping rules imposed on a primitive type, named type, or textual convention.