Looks nice. The only drawback I see is that the new arrangement makes the definitions of those eight data types peers of the definitions of the control features, exceptions, eval, and I/O. Maybe it would be better to break them out of the Standard Procedures section and into a separate Data Structures section. What does everyone think?