[WIP] Implementation: r_set_union()

If we merge with this TODO still in place, we should file an issue right away (so we don't forget about this).