Type hierarchy and IdentifierType only as compound