allow groupoids-4.*, semigroupoids-4.*

More changes needed to build diagrams against lens-3.10