Clojure library containing a setlike data type that is optimized for the idiom { ∀ patterns ⊆ S : expr }