A cast to a size, like mywidth'(foo).
This is a product type, introduced by deftagsum in support of vl-casttype.