Simplified redex enumeration internals