scopeNormalize -> scopeNormalizeParamRefs (It doesn't normalize the expr refs)
UnionFind: remove String argument to find