Fixtype of static information for functions.
This is a product type introduced by fty::defprod.
This is the information that a static environment associates to an identifier that is a function in scope. The information consists of a list of types and constant flags for the function inputs and a type for the function output.