Что такое 'выведение типа' (type inference) в Kotlin?