[ReleaseCandidat]

Súm types (or even just working enums) would replace iota.

[arp242]

Only for some uses of iota. And iota is "simpler" from some perspectives, because you never have to deal with it anywhere except in const (..) blocks (that is, it's a very "localized" feature that barely interacts with anything else).