CORBA35 — TypeCodes for values

Summary: The spec does not contain a clear definition of how TypeCodes for
values and value boxes are constructed. There is something about
this in section 5.6.3, but this seems to describe a variant of the
algorithm rather than the algorithm itself. Section 5.9.7 needs to
be expanded to describe this in at least as much detail as the
description of the encoding of recursive sequence TypeCodes in the
current CORBA spec.