add start of mailbox handling functions
send and recieve in prolog
recieve after test
Merge in mailbox code