FiniteStringSet with minLength, FixedStringSet
FiniteStringSet with minLength, FixedStringSet