refactor: use String.ofList and String.toList for String <-> List Char conversion

refactor: use String.ofList and String.toList for String <-> List Char conversion #14451