Symmetric monoidal comonads and differential algebra