The premise of your argument is that this notation is confusing people, or it's impossible to make explicit what it means. I don't buy it, you even explained the type elision using standard mathematical notaion in your original comment.
So if there is some superior notation that would benefit all of maths, that sounds very interesting but I don't think you've made that point very well. Maybe a better example is needed, because on its own, eliding repetitive information from notation does not seem like a problem.
Because I'm not going to write a few dozen pages of latex in a text comment. If you're interested thrown me $2k over bitcoin and I'll spend the 8 hours it would take to make this rigorous at below my usual rates.
So if there is some superior notation that would benefit all of maths, that sounds very interesting but I don't think you've made that point very well. Maybe a better example is needed, because on its own, eliding repetitive information from notation does not seem like a problem.