Split the type refinement case completely out of the type-becomes-concrete