Proofgold Term Root Disambiguation

In 7 9

as obj
-

as prop
3f605..^In_7_9

theory
HF

stx
0d78c..

address
TMRud..^In_7_9