Fixtype of hex digits.
This is a product type introduced by fty::defprod.
We wrap a hexadecimal digit character into a one-field product. We could perhaps use hex-digit-char directly here, but the name hex-digit is slightly shorter, and unambiguous in the Yul context.
