Simplify the implementation of DCP::add.