use nat_of_integer for term reconstruction instead of abstract constructor to allow reconstructed terms being fed back to the code generator
use nat_of_integer for term reconstruction instead of abstract constructor to allow reconstructed terms being fed back to the code generator

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