Formatted the rationality example in Selected Subsystems.
Changed symbol for blocked messages.
Switched to lambda-style function application everywhere.
Small reformulation.
Added internal state to the agents in the description of \wjun.