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

У меня в черновиках аккурат висит текст (первая часть) об интеграции системы типов (для данных) и прототипных описаний (как для типов, так и для сущностей реального мира) в рамках бинарного контейнера/протокола. Основа - разделение на "X is Y", которое интерпретируется как "X соответствует требованиям для Y" (и может быть определено экстенсионально или интенсионально), и прототипное "X is based on Y", которое означает лишь "при описании X каким-то (любым) образом использовалось описание Y". Вчера стало ясно, что для понятности сначала придётся набросать "нулевую" часть, с описанием основ системы типов вне специфики их кодирования, а также отображением существующих случайных/народных "мета" в этом базисе.