It would be useful to have the following features:

* arrays indexed by enum types (perhaps even multi-dimensional ones?)
* looping over enum types
    - should the ordering be allowed to be user-visible?
    - if yes, then maybe there should be succ/pred operators also?