Про сужение типов не согласен. Обычно код строят так, что либо то либо другое будет. А заводить доп поле type не очень хочется. Лучше для каждого типа свою функцию заводить.
Дополнительное поле нужно для определения типа в рантайме, если это не класс. Такая упрощённая альтернатива type guard. Просто пример не очень удачный выбран. Но да, в большинстве случаев можно обойтись и без этого.
Изучение TypeScript — полное руководство для начинающих. Часть 5 — Строгий режим и сужение типов