Pass ScopedTypedValue again to makeTypeRef
unify does return Ref for representative after union
No cycles anywhere means we don't need to remember copied refs
ExprRefs: mergeRefData -> merge
Towards subst (Apply test passes)
Rename substs too