is_exists : term -> bool

SYNOPSIS: Tests a term to see if it as an existential quantification.
DESCRIPTION: is_exists `?var. t` returns true. If the term is not an existential quantification the result is false.
FAILURE CONDITIONS: Never fails.
SEE ALSO: dest_exists, mk_exists.