Fixtype of pairs consisting of a list of Leo characters and a list of expressions.
This is a product type introduced by fty::defprod.