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