What programming languages need is linguistic analysis. The fact that I can make variables like

Const true = False Const false = True

And do if (true) "won't happen" else if (false) "will happen" is all kinds of silly.

That exists, it is called a nominal type system, while in your example the language has a structural type system.

Edit: Assuming your example is even statically typed.