A slice size that is an expression, e.g., {<< 16 {a,b}} has an expression slice size of 16.
This is a product type, introduced by deftagsum in support of vl-slicesize.