began writing eval for Plug case, w.i.p, but promising
made parallel composition left-associative, typo in the README
changed "type-lifted" repr of (w * n) Wires constr., working eval with some proof samples, problems with eval of fork plugs