This is a product type, introduced by fty::deftagsum in support of macro-info.
The following invariant is enforced on the fields:
(plexeme-list-token/space-p replace)