Remove variables array from base constraint.
Remove name from variable.
Refactor sum and product constraints.