State module.
This module contains the state of the server and the different types used to represent it.