First stab at comonad specification

Adding id README.md