Fixtype of values of the table of deftreeops calls.
This is a product type introduced by fty::defprod.
This consists of the alist from rule names to rule name information. We put it into a one-component product type for future extensibility, and also so that we can define the option type based on this.