Minor tidy up

Added some comments that show Haskell version of the laws and removed text from `it` blocks.