Forced each message to have declared type as parts of Bus logic depends on it and previously we encountered undefined behaviours. Added tests and messages validators.
