Correctly protect Procedures in TR.

Closes PR 13664.
Add polydots to all things that support it.

Closes PR 13612.
Closes PR 13584.