Add proof that Store satisfies the Comonad laws