The Subtyping module contains all the types used for accessor subtyping. You shouldn't have to use it, but it's here for the documentation.
The subtyping scheme for accessors involves the following "feature" types. Each kind of accessor is defined by the features it has. If an accessor A's features is a subset of another accessor B's features, then A is a supertype of B.