NNF, pattern matching state machines etc.
Merging with newcommand* churn.