Packaged into autograding. Marks now specified using annotations, for elegance.