Search for a type signature and context through a graph.
Return results in best-first order, taking account of which nodes and edges have already been paid for.