Simply dropped the unused name function from everything, except for obj_or_seq_op_term_t.