Fixtype of validator information for variables.
This is a product type introduced by fty::defprod.
This is the type of the annotations that the validator adds to variables, i.e. identifiers used as expressions, i.e. the :ident case of expr. The information for a variable consists of the type and linkage of the object denoted by the variable.