Collections no longer accept null. Either data type added.
Fixed objective problems when the optimal score is known at compile time by the optimizer.
Fixed unsat problems when the unsat is known at compile time by the optimizer.
Flatten some operators.
Reduce subtraction to addition in the IR.
Rename ClaferObjective to ClaferOptimizer.
Implemented finding next optimal instances.