some tests for strings
fixing typesystem rules and checks for the size of StringArrayType