Fix some old names in contrib/HoTTBookExercises.v