Fix contract on editor interface

The documented contracted inaccurately described what
the actual code had implemented.
Add TR Guide section on typed-untyped interaction

Related to PR 13869