Нет желания оптимизировать по скорости.
А есть желание уменьшить число типов данных в программе. А именно: все целочисленные переменные размером 1, 2 или 4 байта - сделать 4-байтными. Зачем? А вот зачем.
У меня много т.н. "параметров", т.е. переменных, с которыми может работать пользователь. И эти параметры, а точнее - переменные, хранящие их значения, имеют различные типы - от практически булевых до двойных целых и вещественных. Многие процедуры работы с этими переменными получают на входе указатель на нее и тип данных - а дальше приходится делать нечто подобное Си-шному SWITCH по типу. Чем меньше типов, тем меньше веток в переключателе. Это раз.
Кроме того, часто-густо в операторах присвоения приходится иметь дело с разными переменными - и, если типы не совпадают, то приходится использовать явное преобразование (там язык такой, строгий к типам). А оно еще и громоздкое в записи. Значительно проще было бы не преобразовывать - а! значит лучше иметь одинаковые типы. Это два.
И вообще, если оказывается. что тип BYTE абсолютно ничем не лучше типа WORD, а тот, в свою очередь, не лучше DWORD - то какое право на жизнь имеют эти "огрызки" нормального 32-разрядного слова? Это уже два с половиной
Таким образом, никакой оптимизации во взрослом понимании этого слова. Только красивше тексты программ.