Fix many/e enum bug 

Probably impossible to observe at redex level.