Redex support for simple named repeats and Massive speedup.

Removes names from named patterns/repeats that don't have to be named, reducing enumeration overhead.