Redex enum maintains bijection
Added holes to redex enumerator.