Better type inference for Transpose and PlusOperator