This is a product type, introduced by fty::deftagsum in support of pnumber.
The following invariant is enforced on the fields:
(str::letter/uscore-char-p nondigit)