#517, add a module for resolving free variables
Eliminate a redundant import
#517, do not allow new free variables to be introduced by a replacement
Delete all notIn annotations, now entirely unnecessary
#517, don't introduce new free variables during a replacement
Put notIn back to how it used to be, since I am no longer using it, and the Var special case is no longer relevant