What do you like so much about Kotlin type system, and document / testing of elixir?