Add String.toString and Char.toString to CakeML

[ordinarymath]

See https://smlfamily.github.io/Basis/char.html#SIG:CHAR.toString:VAL and https://smlfamily.github.io/Basis/string.html#SIG:STRING.toString:VAL