now #16*(x+y) distributes for nat just as for other numeric types
now #16*(x+y) distributes for nat just as for other numeric types

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