#15 implemented tensor/outer products in `TensorAlgebra.contract[!]`, but we may want a specialized function for it. See the discussion in #13.
