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