We should define 5 arg mul! for all the abstract tangents. It can use the same logic we already have in the differential_arithmatic file. We can for AbstractZeroTangents optimize this e.g. ``` LinearAlgebra.mul!(C, ::AbstractZeroTangent, ::Any, ::Any, b) = C *=b ```