specs: introduce explicit doubles
specs: callable support in doubles
specs: use callable support in doubles
Circuit: add #recoders, #wirings and #{i,o,q,p}_widths
Circuit: combine {i,o,q,p}s to ss
Circuit: replace #{i,o,q,p}_widths with #widths
specs: compare Doubles on indentity basis
CircuitPresenter: drop all the *_width(s)