wiredFixSyms : app
prune unsorted refinements
disable check Numeric
hide sEnv
enable Numeric check
hide sEnv
Merge pull request #6 from nikivazou/deepmeasure

Deepmeasure: but will put papp related things back into "Language.Haskell.Liquid.PredType"
adding monoid instance for Pred
why are you asking all these questions?!
Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint
adding prettyprinter -- inverse of parser to fixpoint
some fixpoint surgery, need to re-run tests. sigh.