Trivial renaming.
Extend RSE to handle double negations.

That is, given:

    t1 <= t2.notin(t3).notin(t4)

We can reclaim tuples from t2 following matches in _either_ t3 or t4 (provided
the other conditions for RSE are satisfied, of course).