Provides for all kinds of Eiffel types of entities. For example, MY_OBJECT and like my_object type markers lead to different TYPE_MARKs. Among the most frequent are:

• ANCHORED_TYPE_MARK is used for entities declared as like something.
• KERNEL_EXPANDED_TYPE_MARK is used for "basic expanded" Eiffel types (integers, characters and so on).
• CLASS_NAME_TYPE_MARK which marks a type directly derived from a class.
• USER_GENERIC_TYPE_MARK handles types instanciated from generic classes (except arrays, managed by ARRAY_TYPE_MARK and NATIVE_ARRAY_TYPE_MARK)