Added an example of gradual typing to the presentation about the GSoC proposal