Fix endless confusion of pj_optype pj_op_type pj_term_type

pj_optype is now gone (why did it ever exist?) and the others are no
longer used interchangably. :)