change package name to liquidhaskell