Strict commutes now only work with one item.

Eliminates the possibility of one strict commute triggering another (possible
if their items just overlap). Makes the code simpler.