Add a Nat.apply macro to generate a type-safe Nat from an Int literal