Don't unfold recursive types in union simplification. Avoids infinite unfolding.