removed unused field
added copointed
added comonad
added comonad spec
added comonad spec
added ArrowZero and ArrowPlus