Fixtype of Leo identifiers.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(identifier-string-p name)
We wrap the string into a one-component product type for better encapsulation and abstraction.
It also facilitates the addition of information (e.g. metadata), if needed at some point.