Fixing a StandardFormat parsing bug and hiding the ability to add truths after the fact in StratifiedForward.
Clearer stratification of state in StratifiedForward.
Adding pending/waiting logic for StratifiedForward.