refuteRigid removed as unused
Code tiding in prover
Merge branch prover into infer-cut
cases of refuteRec reduced as cases of derive
derive trivial cases
Merge branch 'prover' into infer-cut

Conflicts:
	src/prover/Infer.hs