Negated types

Dieses Issue hat noch niemand übernommen.

Sometimes it is desired to forbid certain types from being considered.

Example: `JSON.stringify(function() {});` doesn't make sense and the chance is high it's written like this by mistake. With negated types we could eliminate a chance of it.

``` typescript
type Serializable = any ~ Function; // or simply ~ Function
declare interface JSON {
stringify(value: Serializable): string;
}
```

Another example

``` typescript

export NonIdentifierExpression = ts.Expression ~ ts.Identifier

```

Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit, die vorgeschlagenen Beispiele für Serializable und NonIdentifierExpression zu prüfen, und ermittle anschließend das erforderliche Verhalten des Typsystems und seine Auswirkungen auf die Zuweisbarkeit; abgeschlossen ist die Arbeit, wenn negierte Typen konsistent unterstützt und durch geeignete Tests abgedeckt werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.