changes to resolute syntax for quantifiers
new code for quantifiers