S> заранее этого сделать нельзя из-за правил связывания, описанных в языке.
S> Нехватка образования.

А что у питона не так с правилами (какие именно правила есть в питоне)?
Почему в питоне заранее этого сделать нельзя?
Помог бы пример. Но на самом деле мне это неинтересно.

S> Непонятно, как определить тип переменной "в месте использования".

В соответствии с ДРУГИМИ, разумными правилами языка.

S> какова будет семантика этого обращения?

Непонятно, почему это важно. Ну пусть определяется временем и скопом.
Т.е. в одном блоке выигрывает последнее присвоение,
в разных блоках — по другим правилам.

Т.е. в данном случае напечатает "lala", а значение 1 будет потеряно (освобождено).