change to lifecycle to correctly validate shortcut refinement
remove some refs back to tree from LazyProducedTypes