Yes that's exactly the point I was making.

Adding types atop something like that would be particularly difficult though not impossible. The hardest part is doing something that maintains the magic of picking the proper scope to define a var at without adding "var" declarations.