How can we describe a string with a length restriction? - arktype