A type is a word who’s general meaning is derived from its sum token usages. Types are similar to universals and innate ideas which seemingly have a stable unchanging meaning when in fact they are derived categorisations of concepts. This error in understanding has been the root of the problem with Western philosophy from the very beginning. The ground of contention is in thought which is grounded in language. The nature of meaning, form, thought, and communication has to clear in order to understand the problem at hand.