got rid of unnecessary type EXPONENTIAL in DiagrammaticTopos