Злоупотребления, т.е.?

Предлагаю подумать вместе.

Начнут перемешивать местами?

Ну так и сейчас есть возможность перемешивать как угодно типы-константы-переменные, это уже часть стилистическая.

Глобальных переменных обычно мало - и растыкивать их повсюду никто в здравом уме не будет.

Поставить не-абстрактные, с телами процедуры около привязанных типов - ну, кто-то где-то так начнёт делать, но это не криминал.

В реализации же для любого компилятора, который содержит синт. дерево и бэкэнд, издержек вообще нету, насколько я понимаю.