Making Proof Simplr