Adds support for mailboxes in model state and exploration.
Adds toString methods