Symbol: term_type