This blog post makes this look like a type system for theoretical type theory people to play with than something designed to actually be practical and useful.
It is the opposite of optimizing for type theorists and rather exploring how to bring values to the existing millions of lines of code.
Edit: I am the author.
My complaint was about the way the information was presented was in a way that I don't think properly motivates why this is being done and will be a good thing. For example the text about gradual typing should have been near the start to motivate why this was being done, but instead the blog post starts by trying to teach people the basics of using types + set theory.
I could perhaps rearrange some of those sections but that doesn't change my main argument: the type system is not being designed for type theoretic people. At best, you could say the _article_ focus too much on theory, rather than on the practical bits.