Values of path expressions

§6.3:5 (fls_5ifai8nkp5ek) says

The value of a path expression is the entity that it resolved to.

But the value of an expression needs to be a member of some type in the Rust type system, not an entity.

This section needs to cover each kind of entity that a path expression can resolve to, and explain how to use it to get a value or a place.

For example:

• for a function, the value is the unique member of the corresponding function item type

• for a constant, the value is obtained by evaluating the constant initializer

• for a variable, we have a place expression representing the place in the current activation record which corresponds to that variable

I see a notion of "elaboration" is defined for constants, which seems to be what's needed here, but there's no text linking it to evaluating expressions that mention constants.

Similarly §6.3:4 (fls_cjywisyiyti6) says

The type of a path expression is the type of the entity that it resolved to.

But the section on Entities doesn't define the notion of an entity's type.

Start with §6.3:4 and §6.3:5, then read the Entities section and the definition of constant elaboration. Clarify how path expressions resolve to functions, constants, and variables, including their values or places, and define how their types are determined. Done when the path-expression rules consistently connect entities, types, and constant evaluation.