Represents a user-defined type name.
This is a product type introduced by defprod.
We use a custom representation for the names of types, so that we do not confuse them with ordinary vl-id-p objects.