Better name for JavaScript generated functions
Currently the function names of the JavaScript generated crdtlib are not user friendly. A function called "myFunction" in Kotlin generates something like "myFunction_1w893$" in JavaScript. It is also not clear that this suffix will be the same over time...