Add *(plus, times) syntax for semiring_matmul