Represents a use of a particular subexpression as a primary output, or something top-level.
This is a product type, introduced by deftagsum in support of svex-context.
This is an atomic/empty structure; it has no fields.
