Adding basic string types - NonEmptyString, Character

[yuti01]

I have found myself declaring simple string types a lot and thought it would be nice to have them here. I suggest adding the following types:

• NonEmptyString to indicate some string cannot be empty
• Character type to indicate a string has length of exactly 1.

What do you think? Is it too pedantic? Would you use these types?

[RonMoshe]

Sounds great! I often define these types myself, it would be really useful.

[Ilai-Dabush]

These must be very common then I thought I was the only one using these until I've seen your issue!

[almogtavor]

tbh I think these types would even fit the main pydantic lib. The char type is classic and is a built-in in C & Java. The non empty string is also a great idea and would be super useful