some more progress
some more progress

ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell