Add existential and universal quantifier

[nwagner84]

This PR adds the existential and universal quantifier to a matcher expression.

The universal quantifier (∀, ALL) requires that all fields (or subfields) must satisfy the given predicate. The following expressions matches only records, where for all fields 065R the predicate (there exists a subfield 7 which is equal to "Tg1") evaluates to true.

$ pica filter -s 'ALL 065R.7 == "Tg1"' DUMP.dat.gz
$ pica filter -s '∀065R.7 == "Tg1"' DUMP.dat.gz

The universal quantifier can also be used in a subfield matcher expression:

$ pica filter -s '010@{ ALL a == "ger" }' DUMP.dat.gz
$ pica filter -s '010@{ ∀a == "ger" }' DUMP.dat.gz

Because the universal quantifier evaluates to true, if the set of fields (or subfields) is empty, it might be necessary to and a precondition to ensure the existence of at least one element.

$ pica filter -s '[email protected]? && ALL [email protected] == "ger"' DUMP.dat.gz

Notes

• By default all expressions use implicitly the existential quantifier (∃, ANY)
• The scope of a quantifier starts with the next field (or subfield) matcher and ends after this matcher.