 TheoryTermUid theorytermset(Location const &loc, TheoryOptermVecUid args) = 0;     virtual TheoryTermUid theoryoptermlist(Location const &loc, TheoryOptermVecUid args) = 0;     virtual TheoryTermUid theorytermopterm(Location const &loc, TheoryOptermUid opterm) = 0;     virtual TheoryTermUid theorytermtuple(Location const &loc, TheoryOptermVecUid args) = 0;     virtual TheoryTermUid theorytermfun(Location const &loc, String name, TheoryOptermVecUid args) = 0;     virtual TheoryTermUid theorytermvalue(Location const &loc, Symbol val) 