Henning

Edits as suggested by Henning Thielemann on liquidhaskell.cabal and ANFTransform.hs