I don't see what the big deal is..
var something = someMethod(); // Type of 'something' not clear <-- not to the compiler!
You still have full intellisense on 'something', and for any ambiguous case you have your unit tests, right? ( do you? )
It's not varchar, it's not dim, and it's certainly not dynamic or weak typing. It is stopping maddnes like this:
List v = new List();
and reducing that total mindclutter to:
var v = new List();
Nice, not quite as nice as:
v = List();
But then that's what Boo is for.