According to “Addressing unimplemented evolution proposals”:
I think this means that the type aliases are not deprecated, and that there is an error in the documentation. If we wanted to deprecate them, we’d have to make a new proposal.
@Ben_Cohen is this correct?
(Interestingly, that post does mention SE-0163, albeit a different part of the proposal.)