Collect in snapshot dynamic types for references

[jpbempel]

What Does This Do

Instead of collecting declared (lexical) type for argument, fields or local variable, we collect dynamic type that provides more useful information.

Motivation

Knowing my argument is in fact a String instead of the Object as declared in the source code.

Additional Notes