A search algorithm design and some low-level array refactoring. Still concerned the overall approach won't work; the search algorithm so far doesn't incorporate the backend to inform about grounding, and I haven't planned out the ungrounded rule expansion as part of the design.