BP: removing separate types for BPVariableMaxProduct and BPVariableSumProduct; the MaxProduct version is no longer needed as it never gets seen outside BP.scala