[WIP] Implementation: r_set_union()

I don't want to merge right now, I cleaned the history and now you're welcome to implement this (last?) todo.