remove notypeclasses apply; it is somehow very slow

In iris!1101 we noticed this tactic is very slow. I have no clue why. But meanwhile, let's not make other people fall into that trap.