Inconsistencies in "name" vs "label" terminology

[KevinDCarlson]

Quote from Evan:

We used to say "name" for what we now call "label," and "name" and "id" are now synonymous, especially because textual names in the text elaborator correspond to the UUID names in the notebook elaborator.

eg:

        // Kind of funny that the decl's id produces the cell's name 
        // but the decl's name produces the cell's label.
        let name = NameSegment::Uuid(eqn_decl.id); 
        let label = LabelSegment::Text(ustr(&eqn_decl.name));