Title: The design of types
Subjects: Type and type-founding