type-token distinctions