String literal types in select machine values

[QWu4xYV]

First of all, thank you for all your work on this library!

🚀 Feature request

I would like to be able to use string literal types in the select machine, for example in the value and onValueChange (https://github.com/chakra-ui/zag/blob/main/packages/machines/select/src/select.types.ts#L12), but because it is typed as a string, rather than a generic like <Values extends string = string>, my literal types get dropped.

🧱 Problem Statement / Justification

I sometimes have state that is represented as a string literal union type that I want to modify via a Select component, but I end up needing to do type casting in order to support this. I would like to not have to type cast.

✅ Proposed solution or API

Update https://github.com/chakra-ui/zag/blob/main/packages/machines/select/src/select.types.ts

interface PublicContext<T extends CollectionItem = CollectionItem>
...
value: string[]
...
onValueChange?: (details: ValueChangeDetails<T>) => void

to

export interface ValueChangeDetails<T extends CollectionItem = CollectionItem, Valuetype extends string = string> {
  value: ValueType[]
  items: T[]
}

interface PublicContext<T extends CollectionItem = CollectionItem, ValueType extends string = string>
...
value: ValueType[]
...
onValueChange?: (details: ValueChangeDetails<T, ValueType>) => void

And any necessary piping through to above layers

↩️ Alternatives + Additional Information

I'm using this library via Park UI via Ark UI, so this change could be made at those levels as well (and would need to be piped through if it is implemented via Zag), but it felt like it made the most sense to do it at the base.