Add an identity remover

It's currently rather slow, and reification is a pain
gluing pullbacks
Merged jgross' CategorySolver