refactoring PProcessGraph to avoid re-stating type parameters everywhere
better comments
initial implementation of ProofInfo preservation during attempt extension