The cookie cutter model of types — the idea that a type is a perceptible pattern that all tokens res...