Rename Nat2.ml to Sol_Nat2.ml