Fix logical issues with product constraint.
Add missing convenience function.
Remove composite constraint classes.
Add necessary members to integer domain.
Fix generics in solution.
Constraint sum constraint to proper bounds.
Remove difference constraint.