Fix Redex variable-not-otherwise-mentioned bug.

And add a test to keep it from happening again.