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