Python should introduce the concept of variable declaration to prevent potential issues that may arise from variable redefinition.

Ideas
21

I interpreted your statement as type checks, not type checkers.

Does you checker flag repeated declarations? i.e.

is

x : int = 7
......

x : int = 9

an error?

22

Yes, as Alyssa Coghlan already pointed out.