Any — корневой тип в иерархии классов Kotlin. Является суперклассом для всех классов, явно не наследующихся от другого класса. Соответствует типу Object в Java.
Unit — тип, указывающий на отсутствие значимого возвращаемого значения. Аналогичен void в Java. Является синглтоном – существует только один экземпляр Unit. Функции, не указывающие тип возвращаемого значения явно, возвращают Unit по умолчанию.
Nothing — тип, указывающий на то, что функция никогда не завершится успешно (например, выбрасывает исключение или выполняет бесконечный цикл). Может использоваться как "нижний" тип, являясь подтипом любого другого типа. Используется для определения типов переменных, которые никогда не будут присвоены ("dead code").