narrowing a `type` using `isinstance` doesn't work

[DetachHead]

Describe the Bug

from typing import reveal_type

def fn(value: type[int] | str):
    if isinstance(value, type):
        reveal_type(value) # `type`, should be `type[int]`

this works correctly in pyright

this seems to be exclusive to type, narrowing list[int] | str for example works correctly.

related: #3584

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN2UYANxiooAfSbEYAHXRzMMMHTDoAFELEBXGIkbMYAbVYMAunQA%2BdOA0oBKRHLrPOyiHFY2MAYxgbtMAA0%2BtIOTi4RgiJikgb%2BUDp2dADEdAAGUjBpwXAAFrhaUJh02DDpmcboZmkggSBkgmBQpIQMtFAUqQAKpI3N1hg4BHTeuOiQbFqUqAwQY4RyqQDKMGW5DAzEcIgA9DsNSs2EvGw7MOg7mLjecDuj4xCT07NjOyq8dKia0KjYsCNjCZTGZzdB0XDEF7oOALdBkBj5dAAWhElA8YzoAF46DIQABmQgARgATLi5IYYJRqGjTHItOguDw%2BDBMEjMBBBN5ZiIsXQAOSPdC8GB8uRChhIwQARy0HJZSIA1jBSEjUN5fHA4Ly%2BQB3VCUdCi9AgAC%2BdTV3JgADFoDAKGgsHgiGRTUA

(Only applicable for extension issues) IDE Information

No response