Затянуть LLVM на Android, думаю, не проблема. Scala-native, насколько мне не изменяет память, аккурат на LLVM заточена. Уверен, что Kotlin-native, тоже LLVM.

К чему это я? Стараюсь, упорно стараюсь найти use-case для Kotlin, и native звучит как некоторый возможный задел на будущее. Однако в данный момент — не нужно.

Я же с этим совершенно не спорю :-)
Просто пытаюсь найти хотя бы какие-то плюсы в Kotlin. Но как не находил раньше, так и не нахожу сейчас.

Все это странно. Например, в той же scala считается правилом хорошего тона указывать в публичных методах возвращаемый тип. Если будет необходимо с помощью style guide вводить подобное же правило, значит объявление var / val действует только внутри некоторого метода, и единственный вопрос: какое это даст преимущество?
Опять же, ввиду того, что есть final — val вообще маловероятен (java сама по себе консервативна и дублированием решений ради моды не занимается).
Очень сомнительный JEP: навеян модными и, возможно, неправильными хотелками.
На мой взгляд, более фундаментальным решением было бы развитие в сторону макросов, генерализации подхода project
lombok и т.п. с поддержкой IDE. Это даст возможность вводить изменения подобные данному JEP временно и наблюдать, насколько они приживутся.