Next: Signed Units
For various purposes, signatures must be flattened into a linear
sequence of variables:
- All variable name elements of the signature are included in
the flattened signature.
- For each sub-signature element named s, the sub-signature
is flattened, and then each variable name in the flattened
sub-signature is prefixed with s: and included in the