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