Adding the first two laws of comonads
Adding final law, along with id tests

Not entierly sure that comonad third law is correct!