How close to a statically-typed language does such addition make Python ?