Trying to improve a little bit the text about gradual typing