Compute types, propagate them.  Update objects with known types. Work in progress.
Compute types, propagate them.  Update objects with known types.
Work in progress.

cep21/heapdump14,randall77/heapdump14,dullgiulio/heapdump14