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