Fixed bug in genTerm
Generalized functor in Testing module
Added freeVars and allVars
Put general tests in a separate test suite
Added a function for generating a list of fresh variable names