Added Redex enumerators.

Supports names and recursive patterns.
Limited support for repeats and mismatches.
delay the unimplemented/unsupported errors until the enumeration is actually used