Formulae processing: instantiate QuantifiedVecSum for generic formula.