Flattening Signatures

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 flattened signature.