renameTyVars is subsumed by plugHoles
mapTyVars in abs-refs too
hole-crash2.hs should be in tests/crash