What's an intuitive way of thinking about type versus token identity?
I have read and understand the difference between those two terms: tokens are things in space and time; types are abstract and what tokens are occurrences of. So to enumerate tokens we look at things in space and time, and to enumerate types we group tokens together.
e.g., the sentence
a rose is a rose is a rose
as it appears on the screen has three tokens occurring of the type the word rose.
Please correct me if any of that is mistaken. The issue, however, is that I can't quite get inside, intuitively, the distinction.
e.g., why token identity is weaker than type identity. Given that there are more tokens then types, I don't understand why it's not the case that positing token identity groups more things together, so that it is the stronger claim. If the answer to that is that type identity trivially includes token identity, then what is type identity in addition to token identity?