1108 support display type name

[zmstone]

feat: add display_name to union type

With typerefl:alias/2, the primitive can be quite descriptive.
Other types are quite self-descriptive too.

Unions however, can get quite big and ugly when:

1. Some old types added for backward compatibility
   e.g. we want to document something like "ArrayOf(String)",
   but we also support comma separated strings which
   can be described in docs but not necessarily show in
   the type.
2. When the union is very big, we may want to provide a shorter
   name for it.
   For example, if all union members are enumerated for a
   5-member union, it may look like OneOf(t1,t2,t3,t4,t5).
   When using display name, we can do:
   "Object (see all possible values below)"