New Pattern for Redex Enumeration and Code Cleanup/Tests

Redex enumeration supports variable-not-otherwise-mentioned.

Other changes mostly structural. Also adds testing languages for named repeats/named variables.