People like Paul Philips (yes yes, I know he's ranty and rubs people wrong and is kinda intense, but he makes good points) show that you can build a sane language on top of the JVM, but Scala makes a lot of the same concessions and refuses to fix a lot of implementation bugs in favor of backwards comparability and enterprise support.
I wrote Kotlin off originally as a late into the game pull by Jetbrains, but now I really want to take another look at it and see what type of library and JVM support is has.
Lately bigger players have started to take notice:
https://spring.io/blog/2017/01/04/introducing-kotlin-support...
https://blog.gradle.org/kotlin-meets-gradle
I'm still not sure where it will end up, but things look pretty good right now.
But wrt Type Erasure, Kotlin doesn't completely get rid of it; but it does offer some ability to retain Types in some generic situations.