This updates some module doc comments, changes some variable names, uses
`global_id_of` in a few more places, and adds a new use of `before_all`.