WYRL: updated solver example so that inequalities work better now.
WYRL: updated solver so that Equals is typed, and reduces to Equations.
WYRL: minor bug fix