Add Enumeration to Redex Benchmarks