Cuéntame sobre los tipos any, unit y nothing en el lenguaje Kotlin.

Any — tipo raíz en la jerarquía de clases de Kotlin. Es la superclase de todas las clases que no heredan explícitamente de otra clase. Corresponde al tipo Object en Java.

Unit — tipo que indica la ausencia de un valor de retorno significativo. Es análogo a void en Java. Es un singleton: solo existe una instancia de Unit. Las funciones que no especifican explícitamente un tipo de retorno devuelven Unit por defecto.

Nothing — tipo que indica que una función nunca terminará con éxito (por ejemplo, lanza una excepción o ejecuta un ciclo infinito). Puede usarse como un "tipo inferior", siendo un subtipo de cualquier otro tipo. Se usa para definir tipos de variables que nunca serán asignadas ("código muerto").