Set Implicit Arguments in HoTTBookExercises