Bump semigroupoid-extras to 4.0