Document enums

[jlouis]

Enumerated data types are now stable enough in the specification that I dare document how they work in the tutorial:

• Alter the tutorial to include an example of an enum.
• Show how coercion is done for enumerated types.