Memoized redex dependent enumeration.