Hello Max,
Thank you for your breakdown.
Some IDEs might help catch some typos but not all. So, you still run the risk of wasting time on debugging errors you could've avoided using a static language. The second point you mentioned about the benefits of static typed languages are dead accurate and I did them justice in the last parts of Dynamic Typing.