Add comonad signature.
Make monad and comonad directory. Restructure src directory.
Start comonads.
Rename MONAD_OPS to MONAD_UTILS. Analogous for MONAD_PLUS.
Factor the infix operators out into their own module.