Removing Liquid haskell form the documentation