Что такое Readonly<T> и ReadonlyArray<T>?

Readonly<T> -- встроенный utility type, который делает все свойства объекта readonly (только верхний уровень). ReadonlyArray<T> (или readonly T[]) -- тип массива, у которого убраны все мутирующие методы: push, pop, splice, sort и другие. Оба работают на уровне компиляции и не генерируют дополнительный код в JavaScript.