Proofgold Term Root Disambiguation

add_nat 2 2 = 4

as obj
-

as prop
256ca..

theory
HotG

stx
594e8..

address
TMLMR..