Rewriting now in CPS style, to avoid stack overflows. Successfully computes 10! in Peano arithmetic