expose Opd
Start polynomial categories with Products, Sums, Unit, Empty