added slides for type dependence talk