matrix multiplication can now infer `A' given dx = Ax

where dx and x have known concrete types.