Fri Jun 29 18:29:47 EDT 2018

Nets as just sets again?

So what about getting rid of net names, and using representatives
instead?  Which would be pins.

Nets are sets of pins.  The shorting operation shorts pins, resulting
in the corresponding nets to be shorted.

Maybe I'm just looking at this in the wrong way.

Lift out the "partition" operation.
Ok, done.  Much simpler.

So if this works (netlist is a partition), then we really can get rid
of netnames and just work with pinnames.  The netname can then be a
"pin" of the schematic.

Ok, that was quite the detour.

- key concept is "partition"
- a strict order can produce representatives