Are we missing `*(I::IdentityMatrix, J::IdentityMatrix)`?