plugHoles before renameTyVars.