avoid trailing digits for SNARK (type) names -- grr...
avoid trailing digits for SNARK (type) names -- grr...

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