Update Nat2.ml