Added explicit inequalities between same-type atoms.
Catalysts are still not handled.