The 'Trim()' function only removes literal ascii space characters from the start and end of strings.
It would be good to have a 'Strip()' function which removes all 25 unicode whitespace characters as defined in this Wikipedia article.
Additionally, much like Python 3's 'str.strip()' function, the 'Strip()' function could take an optional second argument to specify specific characters to strip from the start and end of strings.