Adding negated and number intrinsic types to TypeScript

> param: string & Not<"">

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