Negated types

Nadie ha tomado este issue todavía.

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

```

No se nombran archivos, pruebas ni puntos de entrada. Comienza revisando los ejemplos propuestos de Serializable y NonIdentifierExpression y, a continuación, determina el comportamiento requerido del sistema de tipos y sus efectos sobre la asignabilidad; se considera terminado cuando los tipos negados son compatibles de forma coherente y están cubiertos por pruebas adecuadas.

Escrito por el modelo de indexación a partir del texto del issue.