Datatypes for display and game states