Includes definitions of type aliases for Donet concepts, and the full definition of the network protocol message types.