add tests; replace Term.hasFreeVar by VarT.isFree(:in) and add VarT.isFreeUnder(:binder, :in)