add a TODO to unify this with `freeVarTraverser` in `LambdaLift`