This relatively new. Only "recently" (last couple decades) was it easy to get type info for a variable where it was used.

The other problem is that if your type is merely an alias, in many languages you can still do

interval_minute = interval_second

without the compiler catching it.

Let's wait until it's easy.

Iraq is friendly with Iran.