Proofgold Term Root Disambiguation

cevl

as obj
e6e44..

as prop
-

theory
SetMM

stx
ebbdd..