Finished initial monad tests for list, need to check this matches Haskell
Documented Haskell differences
Made monad functions work same as Haskell