simplification of char->string

procedure string is built-in, (string c) may be more efficient than (list->string (list c)).