Как структурирована система типов в языке Kotlin?