Fixtype of pairs consisting of function information and a function environment.
This is a product type introduced by fty::defprod.
These are used as (non-error) results of find-fun: see that function's documentation.
