Без заголовка

Там много самых разных линий рассуждения. Первая линия рассуждений там не про шаги вообще, а про типы и представления -- и основная интрига в том, как удастся переинтерпретировать распределённые представления (я специально на эту тему ссылку дал) в терминах типов. В сетках уровни это уровни фич (уровни типов?!), и догадка, что их можно учить последовательно -- это только догадка, есть и другие мнения и способы. Так что отсылка к процедурному программированию тут сильно половинчата, речь не идёт о последовательности операций во времени (хотя можно и об этом поговорить). Ну, и дело не в самом этом парне. Он просто один из первых этим занялся и оказался довольно близко к эпицентру. За ним придут тысячи.