hetero: add syntax for pipes, related tests

To send a packet to a pipe, do this:

  pipe := <id>

Where <id> is an identifier.