minor: comments
Major refactor.  Par class hierarchy now starts at ParMonad.