Some initial work on adding quantifiers.
Initial implementation of FORSOME and FORALL working.