Adding negated and number intrinsic types to TypeScript (kaleidawave.github.io)

You can specify specific values in TypeScript types already. And you can achieve the effect of this specific type with Exclude over a type parameter already. This is expanding on concepts already in wide use, in a widely used type system.