Slides and code for talk on type inference, 30 June 2014