Yes exactly, any language with zero\low cost type definitions and natural use of custom types (they don't look second class in e.g operators) would automate wha

Yes exactly, any language with zero\low cost type definitions and natural use of custom types (they don't look second class in e.g operators) would automate what Joel calls Apps Hungarian (the original Hungarian notation). In fact, good custom types would make Apps Hungarian, the useful Hungarian notation, as useless as the Systems Hungarian. This is a natural direction is programming language research, to make as much of program constraints and custom logic automatically checkable and enforced.