Name unnamed repeats in Redex.
Added new languages to test named repeats for Redex.
Simplify Redex enumeration combinator names.
Implement variable-not-otherwise-mentioned pattern for Redex.