Optimizing standard format.
Expanding by rule instead of by assignment (optimization)
Performance optimizations include list version of Cartesian iterator, de-deuping of rules to activate, caching of form subtrees.
Reducing memory footprint.