raise a type error on attempt to strict-equal-compare a value of string | null to undefined

the following examples are almost certainly bugs:

declare var one: string | undefined;
// expected a type error: Operator '===' cannot be applied to types 'string | undefined' and 'null'
// actual no problem
if (one === null) { 
   // unreachable, because one can't ever be null, undefined was likely meant instead
}

declare var another: string | null;
// expected a type error: Operator '===' cannot be applied to types 'string | null' and 'undefined'
// actual no problem
if (another === undefined) {
   // unreachable, because one can't ever be undefined, null was likely meant instead
}

consider raising a type error for the above situations

Beginne damit, die beiden TypeScript-Beispiele im Issue zu reproduzieren, und untersuche das Typprüfungsverhalten des Compilers bei strikten Gleichheitsvergleichen mit String-Union-Typen und null oder undefined. Als erledigt gilt die Aufgabe, wenn beide unmöglichen Vergleiche Typfehler erzeugen, während gültige Vergleiche weiterhin akzeptiert werden; der payload nennt weder eine Quelldatei noch einen Test.