Minor change to Redex contracts to maintain bijection internally
Remove redundancy in recursive enumeration.