Porozprávaj mi o typoch any, unit a nothing v jazyku Kotlin.

Any — koreňový typ v hierarchii tried v Kotlin. Je nadtriedou všetkých tried, ktoré výslovne ne dedí od inej triedy. Zodpovedá typu Object v Java.

Unit — typ, ktorý označuje absenciu významnej návratovej hodnoty. Je ekvivalentný void v Java. Je to singleton — existuje iba jedna inštancia Unit. Funkcie, ktoré výslovne neuvádzajú typ návratu, vracajú predvolene Unit.

Nothing — typ, ktorý označuje, že funkcia sa nikdy úspešne neskončí (napríklad vyhodí výnimku alebo vykonáva nekonečný cyklus). Môže byť použitý ako "spodný" typ, podtyp akéhokoľvek iného typu. Používa sa na definovanie typov premenných, ktoré nikdy nebudú priradené ("mŕtvy kód").