elaborates on the fate of TypeTreeWithDeferredRefCheck conversions