changed return type of freeVars to Set, added test
fixed one case of name clashes in beta reduction