More minor fixes
Shorten aggregate
Lowerbound/static search intro improvements
Algorithm chapter fixes
Intro improvements