qf grammar trench work
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future

* 'wffchecker-future' of ssh://github.com/PeterDrake/Logic:
  more test edits
  Updated QffWff test cases