Secretly support `TypeForm`s when used with `type`

[KotlinIsland]

def f(f: type[T]) -> T: ...

reveal_type(  # int | str
    f(int | str)  # error: This is a `TypeForm` not a type
)