Consider modifying `evaluate` to use object identity for DAG-based traversal

[eb8680]

Hash-consing based on __hash__ would be overly aggressive and unsound, but it should be reasonable to say that evaluate only descends into each host object once within a single traversal as determined by id.

[eb8680]

This was resolved by #745