Fixed it up to use haskell monads.
MonadPlus.
Few more combinators.
Separators.
Generalized sequence.
Arithmetic sequence parser.
Efficiency.
Lambda expressions and lost all generality of combinators.
ident needs to be strict. Can get the generality back with just that.
Also added numbers to the language.
Some monads, and tried to understand State.
Some how it works.
This has gotten out of control.
Got it mostly working.