Update [IdentityFunctor] lemmas
Update [IdentityFunctor] lemmas

They didn't work for me in aefb5e37be98.  I'm not sure why.  Perhaps Adam only
ran make instead of make clean && make, and this broke something?

Anyway, these need to be automated better.

JasonGross/catdb,CategoricalData/catdb,JasonGross/catdb,CategoricalData/catdb