(lam (app (app (primAddNat) (var 0)) (nat 1)))