Прекрасный проект, вовсю эксплуатирующий (псевдо)полноту по Тьюрингу системы типов TypeScript. Есть даже решение задачи о N ферзях! Правда, натуральные числа кодируются вручную через словарь, так что данный проект умеет считать только до 10. Кодировка чисел Пеано может с этим помочь, но тогда автор упрётся в ограничение глубины рекурсии при выводе типов.
В любом случае, код хорошо документирован и достоен изучения:
https://github.com/ronami/meta-typing