DDSXTY12 — TypeObject semantics underspecified and inconsistent

Section 7.3.4.1 specifies that a TypeObject can include just a single TypeLibrary while in section 7.3.4.1.1 it is claimed that a TypeObject can recursively contain other TypeLibraries.

Of course this is confusing: which is it?

Also does a typeID need to be globally unique or just in the TypeLibrary in which it is contained?

Finally, and even more important, since the TypeObject may recursively refer to other (existing) types by their typeID, it is difficult to communicate the meta-data to a node that has no a-priori knowledge about it. The current TypeObject representation is compact, but only able to check whether two existing representations are compatible. It can't be used to drive meta-data based tooling a logger or a service that connects the DDS to a database.

Added clarification for TypeLibrary

Added clarification in section 7.3.4.1 that a single TypeLibrary which may recursively contain more TypeLibrary objects