I like this version better, but I was confused at the end by the question

Are they of the first, second, or third type?

because I am not clear what are the defining features of the three types. Rereading, it seems that the first type is saying "x is A" when x is technically A but shares very little in common with the prototypical examples of A that make us think A is bad. Type 2 is saying it when it shares some features but not others, and type 3 is when it shares most of the features but (perhaps) not the key ones that make the prototypical case bad. But these seem like a continuum rather than clear-cut "types".