Title: An analytical look at type
Subjects: Type and type-founding