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"