midst of rewriting
Finished rewriting datatype section
finish most modifications in response to reviewers
last revisions
final edits
final edits
Merge branch 'rewrite'