making progress on cabal issue
many tweaks, lets see
liquid-fixpoint seems to be building
lets try it for real with liquidhaskell