Representation for type parameter types.
This is a product type, introduced by deftagsum in support of vl-paramtype.