Runtime: simpler implementation of OCaml strings

We keep a single representation (either a JavaScript string or an array)
at a time.