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.
