Так что процедура объявляется словом fun.
Нет, это тоже функция, тк она на самом деле возвращает Unit, который является типом с единственным возможным значением, в отличие от void, который не имеет значений.
В итоге: стоит ли вообще использовать слово "процедура"?
Имхо - стоит, тк это позволяет передать больше смысла в одном слове.
Ну и современные языки одним питоном не ограничиваются
