Rearrange Redex tests
Fix redex repeat enum bug.

Also small api change, variable enumeration change (again) and more
experimentation with a sound dep/e.