and added a cdf_flag (implicit_isa) to turn off isa-check for product
data types. With this on, an unindexed call to isa_ext is generated,
which can be very expensive, and unless an application needs full
(well, fuller) isa through product-types, one would rather avoid this
expense. This flag allows that.