semantic: Transpose binop leaving stuff.