Merge pull request #7 from nikivazou/pApp

Move refinement application to liquidHaskell
Merge pull request #9 from nikivazou/parse-error

parse_error
fix in sortcheck_app