Token-distinctness blocks reductive identification of determinable types with disjunctive constructi...