Based type parser

[KotlinIsland]

class A:
    a: 1 | 2
based typing.get_annotations(A) # {"a": Union[1, 2]
# such that `1 | 2` == `Union[1, 2]`, not `3`
#  and `A & B` is `basedtyping.Intersection`

No idea how this will work with the new type alias syntax in 3.12, maybe we can raise that they should have a .value or something.

[DetachHead]

is this something we can even do in basedtyping? is it more like a basedmypy issue

[KotlinIsland]

This is definitely a basedtyping issue, look at the impl of typing.ForwardRef._evaluate, it uses eval to just execute the type which will cause runtime errors. We need to make a impl that treats it as types, not normal python exprs.