Fixtype of validation information for array subscript expressions.
This is a product type introduced by fty::defprod.
This is the type of the annotations that the validator adds to array subscript expressions, i.e. the arrsub case of expr. The information for an array subscript consists of the type.
