Ref T4334. This implements a new node type for type hints in general, and uses them to add nullability to a type hint.
I'm not entirely sold on the new node type though. You could probably //inspect// the nullable operator by looking a the tokens?
This also calls for updates to linter rules, probably.