Make Iris compatible with name mangling

Fix the last name mangling incompatibility by using notypeclasses refine for iInv. I hope this approach is acceptable for @robbertkrebbers. :)

In particular, this enables using Set Mangle Names in reverse dependencies, which currently fails at every use of iInv.

Fixes #343 (closed)