Add "A*a, A*B, A + B" methods
Fix bug with A*B, if A: m*n, B: n*c -> R: m*c