Cleaned the interface for ineqs.
Operations that bind a constant can now be performed over a list of constants at once.

Printing is still ugly though.