How would you compare Dart to Kotlin, in both typing system and functional programming support?