Symbol literal sugar for variants, var/rec types.
Knapsack solver in dyn.m