Verification of Messages

[johannwagner]

Right now, we define typings for every action, e.g. Publish, Register, Subscribe and Call.

It would be a great possibility to use those typings to validate the messages, because right now, we just assume, that the message, which gets delivered to the application code, is correctly typed. This destroys almost every other typing afterwards, which uses data from a kraftfahrstrasse action.