Comments only. Haddockify parts of TcRnTypes.