fixed quantifier bounding in grammer
Columns are added from right to left according to sub-formulas
Merge branch 'master' into TruthTableBuilder3
Fixed a bug with incorrect operator precedence
Merge branch 'master' into wffchecker-future
Merged master in