Tighten up the output of TreeCheckers.
SI-5797 Automatic owner patching for `alreadyTyped` trees.

This allows a macro to splice a typed tree into a new
location without first needing to `resetAttrs`.