Add existential and universal quantifier #1979

Job	Run time
check	55s
test x86_64-unknown-linux-gnu (stable)	2m 19s
test x86_64-unknown-linux-gnu (beta)	3m 4s
fuzz pica-record-ref	6m 6s
cross x86_64-unknown-linux-gnu (stable)	2m 3s
fuzz pica-record-matcher	21m 37s
test x86_64-unknown-linux-gnu (nightly)	3m 3s
cross x86_64-unknown-linux-gnu (beta)	2m 31s
fuzz pica-select-query	21m 48s
test x86_64-apple-darwin (stable)	6m 3s
cross x86_64-unknown-linux-gnu (nightly)	2m 29s
fuzz pica-path	20m 52s
test x86_64-apple-darwin (beta)	3m 28s
cross x86_64-unknown-linux-musl (stable)	2m 2s
test x86_64-apple-darwin (nightly)	3m 17s
cross aarch64-unknown-linux-gnu (stable)	2m 5s
test x86_64-pc-windows-gnu (stable)	4m 0s
cross aarch64-unknown-linux-musl (stable)	2m 12s
test i686-pc-windows-msvc (stable)	4m 1s
fmt	18s
deny	40s
clippy	55s
miri	1m 35s
book	1m 44s
audit	0s
upgrades	0s
gh-pages	0s
	1h 59m 7s

Provide feedback