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)