Section 5.5.4: Combining Instruction Sequences, and supporting syntax procedures that we've been using implicitly all along