Added some Liquid Haskell stuff tot he doco