Operations on heterogenous matrices

[s5bug]

I'm implementing an algorithm right now that operates on bilinear groups, and the pairing crate splits these into five different types of numbers.

The following operations are of importance to me:

• G1Projective + G1Affine → G1Projective
• G2Projective + G2Affine → G2Projective
• pairing(G1Affine, G2Affine) → Gt

I want the first two to be available component-wise (i.e. suppling a custom addition function to Matrix +) and the final one to be available as a multiplication operation (i.e. supplying a custom function to Matrix *). Is there a way I can do this?

Another (family of) operation(s) I ran into needing after submitting this issue: multiplying an Matrix<G1Affine, or a Matrix<G2Affine, by a Matrix<Scalar, , for which there is G1Affine * Scalar → G1Projective (likewise for G2).