full_subdiagrams: tower, transfinite composition

This data as json