Fixed identifier in stack_monoid constructor.
On second thought, lexical state transitions give us enough information that we don't need tolerance of mismatched pops in the stack monoid.