Working on adding nested quantifier capabilities to QfWff.g4
Additional work on  the QF grammar.
updated conflicts