Renaming the monad

By popular demand, the Commutative monad is now called "the
commutativity monad".