Remove old interpolation stuff
Generalize printProof to printVector
Refactor interpolation, allow choice of system