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