An associative_dimension based on a data type.
This is a product type, introduced by defflexsum in support of vl-dimension.
See SystemVerilog-2012 section 7.8 on Associative Arrays. The type is an index type for a sparse array.