Drop unused class op_f_elem
Drop useless include in op.hh; introduce it in a number of .cc's