Extract the logic for mapping expressions to values into a separate m…

[travitch]

…odule

This is used by both the value viewer and graphviz code. This is non-trivial because, while we can do the mapping based on nonces for many values, we cannot for non-base types. For those values, we use a surrogate key.