IPM: make use for notypeclasses apply where possible

There are two cases where we cannot use the new tactic since too many _ are otherwise being added. So maybe we want to figure out how to tweak the tactic to fix that.