A tagged union expression, e.g., tagged Some (12+34) or tagged None.
This is a product type, introduced by deftagsum in support of vl-expr.