x: "int | str"
    ^^^

This would enable:

• goto-definition
• goto-declaration
• goto-type-definition
• hover-docstrings
• renames

(Not in scope for this issue but also valuable: semantic tokens, autocomplete)