Как реализовать арифметику на уровне типов?

Арифметика на уровне типов TypeScript строится на кортежах: число N представляется кортежем длины N, а операции — манипуляциями с кортежами. Сложение — конкатенация [...A, ...B], вычитание — удаление элементов через infer. Это хак, не штатная фича. Работает для небольших чисел (до ~999 в современных версиях), для больших упирается в лимит рекурсии.