some interpolation fixes, plus some options to remove features for testing in duality
fixed multiple interpolation bugs
some interpolation fixes; make duality a bit more persistent in checking interpolant
duality fixes
interpolation fix for commutativity
interpolation fix for commutativity
duality fix
merging interpolation and duality changes into unstable