Dec. 23, 2021
10:39 p.m.
I have done some more digging, I can't find much on implementing the conditional types and Exclude and what not but I have actually found a PR for a type negation operator https://github.com/microsoft/TypeScript/pull/29317 and judging by the commit size yes this does look like a rather large undertaking as Eric mentioned.