Stated my assumptions about how the search interacts with the backend. I think that will work. Added input expansion to the solver. Ran into a problem: the current implementation has a difficult time using the continuation list, since we could be matching against non-unary rules. (Is breadth-first search even well-defined for this case?)