Converts an uppercase letter to its lowercase equivalent. If the character is not an uppercase letter, it is returned unchanged.
String tolower(String c) { if (c.isEmpty) return c; return c[0].toLowerCase(); }