Add SumFunctionalConstrainedLinearization class

Just as SumFunctional implements the sum of several independent functionals, this new class SumFunctionalConstrainedLinearization implements the sum of linearizations (or, equivalently, the linearization of the sum).