incorporate isolve into inequalities

You can modify these as you wish -- this is pretty close to how I think things should be organized.

Note that I added a function to inequalities, renamed isolve and gave it the option to return relational output.