Simplify (and determine functional semantics of) the cache key we make for ZObjects if possible

Open, LowPublic

Actions

Are we interested in semantically "correct" cache keys, according to the WF function model?

For example, I might call a function that takes a list as input. The list's type might be given as {Z1K1: 'Z7', Z7K1: 'Z881', Z881K1: 'Z6'}.
Later, I might call the same function with the same list, but with the list type is given as the result of calling Z881 (i.e., as an equivalent Z4). Or it might include the entire Z4 that Z6 points to.

Should we try to capture these types of semantic equivalence in cache keys?