Much of the time, suspect products will simply be identified by their codes. It shouldn't be necessary to go to a separate resource to capture these details (and in some cases, systems may not even know if the code is for a device, a drug or some other substance). Having a choice between CodeableConcept|Reference(whatever) as a type is a common convention. So rename to instance[x] and expand the type.