What happens with zero exports?

[arcfide]

When we have a definition form of a section but no exports, the woven output does not look very nice. This output could be improved to not be such a hackish looking thing.