Relax constraints around ref unification

[jaspervdj-luminal]

When unifying ref[x], and ref has a union type, only require the ref to match against one of the options rather than all of them.