Peirce's original type-token distinction treats types as abstract objects whose identity is independ...