Reorganize ScrubTyVars, the Node specialization trick is redundent when there are three functions with the same base.