Wouldn't that be dangerous (if someone adds a new type and forgets to
modify `toString`)?  `toString()` is typically called during logging.  It
would really chafe me if logging was throwing a bunch of
`RuntimeException`s.

I replaced it with `super.toString()`
in 009d0d6960d3cd80787a65ab859d029fea9ac626.