Gradual soundness: Lessons from static Python | Heykuki News