Fix inequality constraint pruning good solutions.
Convert equality/inequality to binary constraints.
Add helper for n-way equality constraints.
Fix spacing.
Fix constructors for equality constraints.
Make interval constraints binary constraints.