Now the setup for cancel_numerals accepts mixed Sucs/+ where the Sucs no longer need to be outermost.
Now the setup for cancel_numerals accepts mixed Sucs/+ where the Sucs no longer
need to be outermost.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle