Extract receive* functions into a MessageReceivers module.
Check that there is a message value before checking its type.
write() value not message.
Initialize a Test Message with the proper type.
Update Unit Tests to reflect message -> value conversion.
Implement Meta Test.