самый тяжело ловимый баг

В какой-то статье описывалось применение размерностей при выводе физических формул был интересный пример - классическим образом задача не решалась, но решалась, если объявить "продольные" и "поперечные" метры разными единицами изменений.
Указанные ошибки ловились бы компилятором, если x и y объявить разными типами. Интересно, на сколько бы это усложнило код?