Static types are especially useful in big ball of mud design because you can refactor it (like change the shape of a canonical object) and mechanically fix all

Static types are especially useful in big ball of mud design because you can refactor it (like change the shape of a canonical object) and mechanically fix all write/read sites without running the code. Not sure how that's a small problem unless you never refactor code.