> It would be fun to see a language where process Id's - that is names of processes - have a type of what that process receives.

I like this idea. It would allow you to catch and log incorrect messages at the sender. And it would reduce the amount of static configuration by facilitating service discovery. But the type specification would be difficult to design well.