[esperent]

> param: string & Not<"">

Is this even a type anymore? It's checking against a specific value.

[eyelidlessness]

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.