Proofgold Term Root Disambiguation

as obj
-

as prop
1e2ae..^{MetaCat_struct_u_initial}

theory
HotG

stx
b832f..

address
TMJvi..^{MetaCat_struct_u_initial}