Update comonad, distributive and semigroupoids

Signed-off-by: Nicola Squartini <tensor5@gmail.com>