Is the compiler smart enough to optimize `(Js.string (Js.to_string s))` or do we need some `js_string_attrib` (and some way to use it) as an escape hook ?