Add some Rec equality lemmas
Add some Rec equality lemmas

Thought I needed one of them, but turned out that wasn't true.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl