Fix many/e enum bug (probably impossible to observe at redex level)