Infer `keyof any` as `string | number | symbol` when migrating TypeScript to Escalier source

[kevinbarabash]

Right now the following TypeScript

type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;

is inferred as:

<T, K: keyof t5>(Pick<T, Exclude<keyof T, K>>)