An overview of the improvements in the latest Liquid Haskell release