Makefile updated to use cabal-install package
Merge branch 'prover' into negation
Computed answer
Remove Subst.Pretty from cabal file
new negation impl