Peirce's type-token distinction