結局は、
option　explicit
にしちゃうんですよ。でもこれだと型は固定されるのではなかったかと。
型は自由自在、でも宣言は必須、という言語はないかなあ。情報求む。