make sure to preserve explicit refinements for non-functions
make sure to preserve explicit refinements for non-functions

abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell