Added statement and proof for monadic right identity and statement for
monadic associativity.