Added documentation on notations
Added Monad laws

Proof that (Parser, result, bind) is indeed a monad by proving that
the monad laws hold.