updates to qf grammar
Grammar updates (unfinished) and changed the way checkWff works to be set in the constructor
Merge branch 'wffchecker-future' into TruthTableBuilder3