Add Extend and Comonad Specifications

I tried to make this specification as unambiguous as possible but it's difficult not to mention types at all when discussing comonads. I've implemented an Extend and Comonad instance for `Id` as well as updated the README. 

I have not updated the dependency graph yet.
Should this law be moved to `Extend`?