Specifically, my suggestion is that for auto-created enum members, the invariant "asset x.value == str(x)" should hold.

In flufl.enum, using integers made sense because it relies on sorting of values to determine the iteration order. That's no longer a concern for the standard library version, as iteration has been changed to use definition order.