I was thinking about this some, in relation to some other research work.  Defining commutativity in a global fashion as is currently done is inadequate for dealling with things like free partially commutative monoids, where commutativity is defined on a pair-wise basis.  I guess I was trying to be overly cautious.