The name for a type info class is constructed as described in Section 3.2. However, the last part of the name is prepended with ``I'' to indicate a type info class name.
Example: If a integer type ``myint'' is compiled into
a package ``pack'' of library ``lib'' the name of the corresponding
type info class is