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