changed the way proofs work, updated meta prover, removed
the Delayed calculus, simplified main file a lot; Also, new
type PFormula that packs a proof with a formula