Adding some figures to the section about gradual typing