Bug fix: I had derived the equation for tab completion incorrectly. I had correctly derived the equation to partially evaluate token input, but I had not derived any equation for predicting what possible next token inputs could be accepted. I have now completed deriving this equation, and I have even tested it, now tab completion is working much more closely to the way I had envisioned.
Bug fix: I had derived the equation for tab completion incorrectly. I had
correctly derived the equation to partially evaluate token input, but I had not
derived any equation for predicting what possible next token inputs could be
accepted. I have now completed deriving this equation, and I have even tested
it, now tab completion is working much more closely to the way I had
envisioned.

The 'Dao.Rule.PartialQueryResult' data type has been modified to contain a tree
of possible future token inputs, and the 'Dao.Rule.partialQueryBranches' has
been added to access what was the 'Dao.Rule.partialQueryNextSteps' function.
The 'Dao.Rule.partialQueryNextSteps' function has been modified to access the
predicted token input. No other changes to the API have been made, all other
modifications were made only to equations that are not exported.

printedheart/Dao