Mention ∅, clarify set composer semantics more