Added types to authoring/assignment.rkt