Add an identity remover

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