Here are my responses to Arjun's comments (note that this PR will also bring in two of Greg's commits from his fork). I've resolved everything to my satisfaction at least (!), either by arguing to ignore or adding text, but left the bold \fixme{} comments in place for review before merging.
From here, it appears the last steps are (a) adding some examples and (b) writing a conclusion.
I have reviewed all responses and other changes and agree that this can be merged. However, perhaps @jkitzes you could remove all \fixme{} before the merge? (except the one I indicated I'd like to stay)
Here are my responses to Arjun's comments (note that this PR will also bring in two of Greg's commits from his fork). I've resolved everything to my satisfaction at least (!), either by arguing to ignore or adding text, but left the bold \fixme{} comments in place for review before merging.
From here, it appears the last steps are (a) adding some examples and (b) writing a conclusion.