setops now have junctive precedence