remove references to HM inference

Fixes #17229.
Also "what *the* type of something is"