means try to receive a message described by one
of the patterns Message1,Message2,... The process
evaluating this primitive is suspended until a message
which matches one of the patterns is received. If a
match occurs the code after the '->' is evaluated.
Any unbound variables occurring in the message
reception patterns become bound if a message is received.