Hashing vs Mining is a valid distinction, and calling miners who delegate block template construction to the pool (every miner today) "hashers" is a more technically correct label.

That said, language is sticky, and Miners are miners. We'll see how it plays out as more miners take on block template construction with Ocean's Datum and SV2 with Demand pool, etc.