It would be nice to have a vector addition operator, so that backends don't have to do this dot with the identity matrix. Not this PR, though.