Как типизировать вложенные объекты?

Определяй отдельный тип для каждого уровня вложенности, а потом составляй из них итоговый. Для деревьев и рекурсивных структур тип может ссылаться сам на себя. Это делает код читаемым, переиспользуемым и поддерживаемым.