Progress on Liquid Haskell checks