add print statements to LOTlibTest/ for debugging, skip tests that have already passed
add subclasses of FunctionNode and GrammarRule: one for when we introduce a bound variable, and one for when we use a bound variable