Symbol: copy_termtype