Unordered instance for Nat