add a Test Suite for all of LOTlibTest
add test suites for various parts of GrammarTest.py
fix grammar in FiniteWithBVArgs.py so that the head of the first function is a lambda