Moved bounded_op_term_t constructor implementation to op.cc.
Made bounded_op_term_t not evaluate its optargs at construction time.