Intro fixes
combinators section fixes
redex section fixes
update evaluation section to latest colors/bug count
update related work