[forms][bugfix] Allow to use sums of nullary operators

By deducing the Basis types instead of hard wiring them as typedefs we can use SumOperator for nullary sums, too. However, we have to be careful to not multiply out nullary sums when composing, because the outer function may be nonlinear.