STATEMENTS

The A_Tuple of expressions that should be considered to execute sequentially, discarding each result except for that of the first expression. There must be at least one expression. All expressions but the first must be typed as ⊤. The first one is also allowed to be typed as ⊤, but even if so, if the actual value produced is more specific (i.e., not nil, then that is what the first-of-sequence phrase's effective value will be.