Great renaming: propagate throughout the rest of the codebase
auto merge of #7468 : cmr/rust/great_renaming, r=pcwalton