"This rule may be safely followed: wherever the three characteristics of types are found which have been already mentioned, there is the type." . . . .