Можешь рассказать о ключевых особенностях системы типов в языке Kotlin?