On the Concept of Types