Lambda the Ultimate

I've been thinking about the feasibility of a type system that incorporated the type of variable into its name using symbols.

E.g.:
var @4-VariableName;


The system could use symbols like @, #, $ and % for signed, unsigned, character and object and the number would be the size of the variable in bytes (objects wouldn't have this) and the hyphen to separate the name from the type. The symbols would be used every time the variable is used (for the programmer's advantage of readability).

So what are people's views on this idea?