A cast to a constant, like const'(foo).
This is a product type, introduced by deftagsum in support of vl-casttype.
This is an atomic/empty structure; it has no fields.