freesTerm :: Term -> BitSet
freesTerm (Term t) = freesTermF (fmap freesTerm t)
freesTerm :: Term -> BitSet
freesTerm (Term t) = freesTermF (fmap freesTerm t)
freesTerm (Term t) = freesTermF (fmap freesTerm t)