rename length to length_lambda in String.frequence_chars_info