Added validation for new cells in class 'rules'. Changed the way 'rules' handles unequalities, so as to eliminate redundant ones.