Minor improvements to the section about gradual typing