That said, I am pretty impressed by the progresses done by AssemblyScript
https://github.com/AssemblyScript/assemblyscript, I think Kotlin team should take it as source of inspiration for Kotlin/WebAssembly since they seems to get it right on many levels : based on binaryen, supported types relevant for WebAssembly, pluggable memory mechanism. It is funny to see that this is conceptually a mix between Kotlin/Native and Kotlin/JS. They are able to generate very small wasm files (< 1kbytes).
https://github.com/AssemblyScript/assemblyscript