Support conditional types for "condition" and "branch"

[pokey]

In the following code:

export type SpokenFormMap = {
    readonly [K in number | string]: K extends number
    ? string
    : number;
};

We'd like K extends number to be "condition", and string and number to each be a "branch".