Fixtype of validation information for statements.
This is a product type introduced by fty::defprod.
This is the type of annotations that the validator adds to (for now only some kinds of) statements. This information currently consists of the validation table at the beginning of the statement.