I'll agree with that. There's numerous times I've wanted to be able to assume (correctly) that a scalar holds a certain value type. At the same time, it sometimes feels constraining to design within that limitation. I think optional typing is the future here, and Perl 6 has it, as well as a few other modern languages.