Glossary Index
Sequence, n.. The directional succession of symbols in the baseline of a type-chain, and thus also that of the types.