See #20081 (closed) and #18516 for context.
This work-in-progress MR capitalises on the work started on #19930 (closed) by slowly porting all those TcRn diagnostics currently wrapped into an UnknownTcRnMessage into proper type constructors for the TcRnMessage type, together with their hints, if any.