got rid of some unnecessary equalizer parameters in DiagrammaticTopos
got rid of unnecessary type EQUALIZER in DiagrammaticTopos