Relabelled Monoid laws
Added Id Monad
Added Monad laws; test runner will need refactoring.