annotated IndividualisedProduct and AbstractProduct, for they're now getting consumed