declaration of variables?

[Laura Creighton]

Am I understanding you correctly?  You don't want to bind a variable
to a specific type, and you want to be able to rebind a variable at
will to any other type, but you want a language change so that the
first time you bind a variable, you have to type something extra
indicating 'yes I know this is the first time I have used this
variable?'  If so, what does this buy you aside from catching typos?

puzzled,
Laura