Add slide about type inference