The “new language ” is dramatically simpler than most programming language though because its expressing power is limited and as you say, you only need it for “advanced generics” which is only a small fraction of all generic code one writes.

It's actually a DSL, tuned to the specific use-case it's doing.