New uniqCond verbs

[hgiesel]

Verbs with arity 3:

CATEGORY 1: Verbs applicable to a [vs, op, uniqSet] -> bool.

["$_:1:0", "in", "uc:foo"] // "includes" with reversed arguments, includes is deprecated
["$$", "notIn", "uc:uniq1"] // "!includes" with reversed arguments, !includes is deprecated

CATEGORY 2: Verbs applicable to [string, op, string] -> bool

["name", "eq", "c1"]
["name", "notEq", "c1"]
["name", "match", "^c.*$"]
["name", "notMatch", "^c.*$"]

CATEGORY 3: Verbs applicable to [number, op, number, maybe_number] -> bool

[1, "=", 0]
[1, "!=", 1]
[1, "<=", 2]
[1, "<", 0]
[1, ">=", 5]
[1, ">", 0]
[1, "%", 2, 1] // fourth argument defaults to 0
[1, "within", 2, 3] // in [3-2, 3+2], fourth argument required
[1, "range", 2, 3] // in [2, 3], fourth argument required

CATEGORY 4: Verbs with arity 2:

["name", "$$"] -> string | star
["sub", "$$"] -> number | star
["pos", "$_"] -> number | star
["idx", "$_"] -> number | star | false
["length", "uc:bar"] -> number
["length", "$c1"] -> number

[hgiesel]

CATEGORY 5: Predicates

["forall", "x", "uc:foo", (proposition)]
["exists", "x", "uc:foo", (proposition)]
["!exists", "x", "uc:foo", (proposition)]

... e.g.
["exists", "x", "uc:clozeRef", [["idx", "$$"], "within", 2, ["idx", "ref:x"]]]
translates to: ∃x ∈ uc:clozeRef. x.idx ∈ [$$.idx - 2, $$.idx + 2]

["forall", "y", "uc:test", [["name", "ref:y"], "matches", "^c"]]
translates to: ∀y ∈ uc:test. y.name `matches` /^c/