Added DestroyRequest/DestroyReply.
Added SendRequest.
Added SendReply.
Refactoring.
Added timeout ADT.