Updates for contravariant-1.1 and new semigroupoids and comonad