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