CORBA35 — OBV TypeCode parameters wrong

Summary: Section 5.9.7 of orbos/98-01-18 says that the TypeCode parameters for both
tk_value and tk_value_box start with a string which is the type"s
repository ID. Why? For everything except tk_interface, the repository ID
is not visible as a parameter. I believe these parameter lists should not
include repository IDs to make them consistent with the others.

I assume that the

pairs in the tk_value parameter
list should appear in the order of declaration of the members in the
valuetype. This is not stated anywhere.

The visibility of each member should be added to the tk_value parameter
list. Each entry in the list should contain

where the short refers to the Visibility of the member.

The parameter list for tk_value should probably have an additional
parameter which is the TypeCode of the concrete valuetype base, if any.