Process should have an associated type instead of type parameter

[andrewjstone]

A process can only handle one type of message. It isn't generic over many messages.

This will change the API a bit, but shouldn't be too bad.