What would you expect get_type_hints(...) to return with relaxed syntax? Today, for type hint annotations, it returns a type, which I'd argue is an important feature to preserve (in it or some successor).
It would have to return some other representation. Presumably the (purely hypothetical) new syntax would be syntactic sugar for something that can be expressed as an object, just like (as of PEP 604) X | Y is syntactic sugar for Union[X, Y].