p.156-158, section 4.3 : many of the types in Figure 3 are not explained in the text; what is a long passive? what is an io-passive?