Prover is based on CoreLang instead of Hopl
Tiding up unused imports
substitution pretty printing
Code tiding in prover
derive trivial cases
default case of derivation must fail
desugarer adds only necessary explicit unifications
desugar fix
desugar remove redundant ctop body
Makefile updated to use cabal-install package