This file defines objects related to user options. See Subsection 2.7 of the Milestone 8 requirements