We added support for set subtraction and intersection after writing the
paper. Updated.