better warning
moving papp to liquidhaskell
Merge pull request #7 from nikivazou/pApp

Move refinement application to liquidHaskell