2.1. Nodes
A MailboxActors.SomeEngine is an existentially-typed engine: the
engine type index is packed inside, so heterogeneous collections of engines
are well-typed.
An engine map (MailboxActors.EngineMap) associates local identifiers
with engine instances. A MailboxActors.Node groups an engine map
under a node identifier.