Redex enum supports var-except.

Also reduces code duplication in Redex enum.
Redex enum maintains bijection internally

Also simplified other redex enumeration internals.
Added holes to redex enumerator.
Redex generator supports mismatched names.

Also added mismatched name tests.