@darius @fribbledom I'm curious what projects you've worked on that used it successfully!
I used it extensively at Intentional Software, where we were largely writing C#, and in many ways it was much richer than any strongly-typed language I've seen - "an index into the list 'foo' that is one past the end" is not the sort of thing you would bother representing in a type system, but with Hungarian you'd consistently use "ifooLim" throughout your codebase
@SpindleyQ @fribbledom I used it as an undergrad extensively when writing large code bases in MATLAB m-script. It also is used in the Spelunky (original GameMaker) source code and it was just... so nice and readable and understandable.
I like the idea of using it to basically extend types like you mention!