bitraverseScope, transverseScope, instantiateVars