Разкажи за типовете any, unit и nothing в езика Kotlin.

Any — коренов тип в йерархията на класовете в Kotlin. Той е суперклас на всички класове, които явно не наследяват от друг клас. Съответства на типа Object в Java.

Unit — тип, който указва липсата на значима стойност за връщане. Аналогичен е на void в Java. Е единствен — съществува само един екземпляр на Unit. Функциите, които не посочват явно тип за връщане, по подразбиране връщат Unit.

Nothing — тип, който указва, че функция никога няма да завърши успешно (например, хвърля изключение или изпълнява безкраен цикъл). Може да се използва като "долен" тип, като подтип на всеки друг тип. Използва се за дефиниране на типове променливи, които никога няма да бъдат присвоени ("мъртъв код").