You're completely ignoring the role and importance of notation. Type systems do not take on the role of efficiently conveying information to a reader visually t

You're completely ignoring the role and importance of notation. Type systems do not take on the role of efficiently conveying information to a reader visually through symbology, which is part of the role of notation. Types in a type system have names, after all, and the choice of those names is also one of notation. Good notation comes largely in part from good names and has little to do with type systems. Hungarian is an exercise in notation, hence the name.