Type and type-founding