Proofgold Term Root Disambiguation

In 3 7

as obj
-

as prop
dc43c..^In_3_7

theory
HF

stx
0d78c..

address
TMdh2..^In_3_7