normalize numerals: also rewrite Numeral0 into 0
normalize numerals: also rewrite Numeral0 into 0

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