Deterministic derivation of type for messages

[zkao]

Compute a hash of serialized type, apply other transformations if needed, and use it as message type

Then if we change the type of messages, the type code automatically changes. This has interesting properties for backward incompatible changes.