Add push-down automata?

[jml]

I'm not sure this is a good idea. The other day I wanted to make a parser for Eliot actions, which are basically a context-free grammar. These can't be modelled with pure DFA like machinist, but they could if a stack were added to the state machine.

This is maybe out-of-scope.