Non commutative parameters
As far as I see, the code at this point cannot handle when some symbols are not commutative (like multiple momenta), since the associated keys, say (1,1) are equivalent either way. It might be good to have that functionality too.