A basic unary operator applied to a sequence/property, for instance, like first_match(a), not(b), etc.
This is a product type, introduced by deftagsum in support of vl-propexpr.
