Support named data types that define enumerated values; also other small changes

- named data types can have both patterns (already supported) and
  enumerations; they are now included in the HTML report
- parameters can override and extend named data type patterns/enumerations
  in the usual way
- --showreadonly is now enabled by default (so deprecated); can switch
  off this behavior using --noshowreadonly