Should HoS sections be moved/re-orgged?

The latest version of the paper has section 8 which is a Scheme primer.

We’re planning to break that off into a separate document, because it has a much broader audience…