Да ладно??
Использование типизированных ссылок против не типизированных никакого качества не даёт?
Или сигнатура функции по результату и параметрам ведь лучше чем просто произвольные параметры?

Коэффициент для выравнивания качества можно, скажем, предусмотреть х500. Почему нет?
А если есть аппаратная поддержка пространства модулей/кода/данных/стека -- разве это не критерий?