Add a precedence option to dual-clause nodes

Currently all dual-clause operations are assumed to have the same precedence. After the implementation of arithmetic operations, it would be nice to implement a precedence options, so that the clauses are re-ordered only when the next clause has the same or bigger precedence.