Updated merge_proofs
Updated merge_proofs

The merge_proofs predicates now unify the formulas (the previous
version “forgot” the sentence subtype).

Added a case for removing “let” as a separate rule.

RichardMoot/GrailLight