minor prose edit: add type signatures to the footnotes that mark when a helper function is introduced, and tweak the explanations
change some references to 'boxes' that are really about general items