remove references to HM inference

Fixes #17229.
"type inference", -> "type inference".

Maybe?