Position->Relation and towards new Relations
ExprRefs.unifyRefs: Simpler interface