Split redex enumeration code into multiple files.
Memoized redex dependent enumeration.