Tried to address some \simon{...} comments.
Tried to address some \simon{...} comments.

Some comments are resolved (I hope!); others are annotated for further discussion.

hvr/hoopl,ezyang/hoopl,hvr/hoopl