Stricter types for select macro

Nobody has claimed this yet.

### Problem Description

Select macro doesn't validate choices other than `other` currently.

### Proposed Solution

Make the macro generic over value, and the choice keys required if the value is a union type.

Potential solution:
```tsx
declare function select(
value: T,
options: {
[key in T]: string
} & {
other: string
}
): string
```

### Alternatives Considered

I can extend the types or patch the dependency locally, but it could make sense to contribute this change to benefit everyone

### Additional Context

_No response_

No file or test is named in the issue. Start by locating the select macro type definitions and existing type tests, then verify that union-valued selections require every choice key while still accepting `other`; done means the TypeScript checks cover the stricter behavior.

Written by the indexing model from the issue text.