added structural types for equalizer, exponential, biproduct
biquivers now wrap biproducts properly, and have a sane apply method