got rid of unnecessary type BIPRODUCT in DiagrammaticTopos
got rid of unnecessary abstract type x[A, B] in Topos - it's now a defined type
experimented with structural types for the xI trait and decided not to use them