changing the semantics when converting string to characters
fixing a bug in the inference of best conversion type