Symbol: TermType