Содержит раздел строковых литералов, не говоря уже о двух других типах.
Кроме того, почему в разделе «3.8 Указание типов» вообще ничего не говорится о литеральных типах?
Команда TypeScript прекратила обновление языковой спецификации в 2016 году. С того времени язык изменился настолько, что в его текущем состоянии спецификация почти бесполезна.
Есть многочисленные проблемы об этом в репозитории TypeScript, вот комментарий от одного , который суммирует его лучше всего:
На планете около четырех человек, которые могут точно обновить спецификация и все они уже довольно заняты.