Fix #10991: Add improved error messages for comparison with narrowed types

[jack-williams]

Fixes #10991

I think the error reporting I've implemented could be improved but it is probably worth discussing--just getting the ball rolling for now.

Ideas to consider.

• Should the pre and post narrow types be presented (that is what it does now).
• Should the error node be the operator or the narrowed reference (currently it is the same node as the parent error).

@RyanCavanaugh

Example:

const enum Keys {
    Tab = 10,
    Shift = 13
}

function enumType() {
    let key: Keys;

    if (key === Keys.Tab) {
        return;
    }

    if (key === Keys.Tab || key === Keys.Shift) {
    // Operator '===' cannot be applied to types 'Keys.Shift' and 'Keys.Tab'. [2365]
    // Earlier code in this block narrowed type 'Keys' to 'Keys.Shift' making this operation invalid. [2725]
        console.log('Bug');
    }
}

[jack-williams]

Failed CI is due to timeout on largeControlFlowGraph.ts. Can this happen coincidentally?