Add ICFP reviewer comments
address all minor copy edits pointed out by the reviewers.
add reviews_todo: just copy pasted all of the reviewer suggestions we have not yet addressed