Represents that no vl-maybe-rhs is available, i.e., Nothing or None.
This is a product type, introduced by defoption in support of vl-maybe-rhs.
This is an atomic/empty structure; it has no fields.
