Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.

Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning. #8012