librumur: implement the remainder of the single threaded exploration

This is essentially the complete algorithm. We now simply need to implement the
generation of rule bodies.