Things to do:
EnumTypes mean arrays.
Test test procedure answers.
Boolean interface to switch-level testee ports.
Drive records on simple behavior (with strength in drive values).
Change node type equivalence.
Automatic transducers.
Syntax for split-joiners.
Things to think about:
Whether/how to represent heterogenous drive in structured values.
How to implement split/joiners and transducers.