Show a REPL type printing example in the TR guide

Please merge to v6.0.1
Fix `identifier-binding` docs and types

Closes PR 14262

Please merge to v6.0.1
Fix internal-external name mapping for TR classes

Please merge to v6.0.1