Package User defines the objects and operations related to maintaining the user and token databases of the CSTutor program. See Section 2.6 of the requirements.