Added symmetric keyword to simplify writing symmetric protocols.
Similarly, added tests for symmetric protocol.