put testing grammars in LOTlibTest/Grammars/, and reference them from the testing files in LOTlibTest/
rename FiniteWithBVs to FiniteWithBVArgs