I wrote the article (not the code - though I was part of it).
The code is is 30 lines of conditional, recursive, partially-type-inferred Typescript type expression. It's actually not too bad when you break it down.
What it enables: Zod-like safety + convenience, over plain JSONs.
Hope it's an interesting read
