Type And Type-Founding