move check_counts to LOTlib/Examples/Quantifier, and remove old check_counts import statement. Unfortunately, the Quantifier example seems broken as from Shared import * throws an error.
Merge branch 'master' of https://github.com/jthurst3/LOTlib
add simple grammar to test increment_tree
Starting to test increment_tree function; copy some grammars into LOTlibTest/Grammars/
comment out print statements in Grammar.py