Added draft for the existential quantifier syntax.
Added draft for the existential quantifier syntax.

Ignore-this: 524214e2db728613cf79637177679098

darcs-hash:20111129214314-3bd4e-189edf1e0b969900d1c8b5ee6123a5c1a663d485.gz

asr/fotc,asr/fotc