Ref_to_variables for non-escaping symbols

[mshinwell]

As per https://github.com/ocaml/ocaml/pull/883

Or put the dev time instead into getting rid of the mutable variables entirely.