Added the product of kernels defined on the same space + a few bugs fixed in the prod_orthogonal