Implement exists, syntax for exists & forall
Merge pull request #49 from bmjames/exists/forall

Implement exists; add alises for exists & forall