Added monad laws.  (Also added link to another Lisp interpreter written in Haskell to SchemeIn48.)