Interactive textbook QED (covers roughly first half of course, very exercise-oriented)