Knapsack example is working. Needed to add a few tweaks here and there in Terms.scala to make it look better.

automatically.

- The assuming example that uses Constraint0

valued L variables