Proof Search toposort fixes (inverse permutation and inverse dep map
Proof lookup ok, except isomorphism reconstruction