Slides from talk on hybrid typechecking, 24 March 2014