Make pegexec$poplist_aux defined over all possible inputs.

This will help Magnus’s treatment of it within CakeML.
New example: define a tail-recursive Ackermann’s function using a work-list.