Rename 'ourCatch' to be more descriptive
Add means to lift transforms/rewrites to CoreExprEquality
Refactor shell bits for interactive prover WIP