Какие отличия в системе типов есть между Java и Kotlin?