Infer: Don't recurse in unification if no renames and no hole constraints
Remove incorrect aprCopiedRefs

It was incorrect because it needs to track *ALL* copies so far from
all children, and not just parent copies.