For me it’s never been about type bugs but rather about being able to work comfortably with the code. Some of us don’t have amazing the greatest working memories; having the IDE offering support with types is a godsend. Python’s my prototyping language and I start adding types very early on, if not right from the start.