Add slides for TypeCheck presentation.