undo and redo stacks now store action labels, which designate front-end
calls leading to the action
implemented printing of undo and redo stacks