Improving print functions

[king-mahdi]

They can print stuff better, e.g. i = j instead of i - j = 0.
It might be worth a while to use isl, e.g get an isl string of IEGenLib Set/Relation, manipulate it, and print that.