Adjusted the Liquid Haskell guide