Updated TLevel successor not to clash with Nat successor S