Define `resolved value` formally

[aphillips]

There have been multiple comments on the need to define the term "resolved value", which we use formally but have defined somewhat informally.

[catamorphism]

Note that this is the goal of #645