Some tests for the string type