Please, please, please, don't ever make type hints *required*! Some of us are perfectly happy not using them (and not having to learn them)!
I also don't know what should happen for complicated assignments, and I think thishas been the death of such variable decorator discussions in the past, so I wouldstill push for only bare identifiers, with or without a type hint (but maybe it will bebetter received by more if the type hint is required?).