2.13: support for design/code documentation

Specifically producing/exporting state diagram pictures for component behavior without the influence of the ports.