Negated types

まだ誰も着手していません。

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

```

ファイル、テスト、エントリポイントは指定されていません。まず、提案されている Serializable と NonIdentifierExpression の例を確認し、次に必要な型システムの動作と代入可能性への影響を判断します。否定型が一貫してサポートされ、適切なテストでカバーされれば完了です。

索引モデルが issue の本文から書いたものです。