вы можете накладывать ограничения на этот словарик, типа как в идрисе. и можете доказывать для макросов что функции которые генерируются макросами которые переводят один словарик в другой словарик, выдают корректные словарики
Кароч, у меня нет сил продолжать этот диалог, простите.
Если вы сможете предложить, как "три из трёх получить", индустрия изменится навсегда, а за сим я устраняюсь из этого обсуждения.