wip #120: change spec after discussion: ApplicationModule outputs now must have an initial value always.