How specifically does the addition of static typing encourage spaghetti code?