improve types for String.split
#110
+55
−0
Closed
String.split
#110