Add some TODOs for the contribution vectors
Add missing TODOs
Add a slide about type providers