The Set operators and their Texan variants like (-) are misisng from S03, and currently we don't really know what precedence they should have (junctive?)
the table near the beginning of the document now has a bunch of set operations in the examples, both texas variants and unicodey variants.
the set operations are all junctive and/or or chaining infix (for (<) and friends)
I'm thinking of introducing a section on set operators between Junctive Operators and Comparison Semantics.
i've started work with a tiny piece of text in the branch S03-set-operators