Plumbing for a system to automagically recommend hints for Prover9