[rules] [clausification, tautologies] Support for arguments

[HanielB]

The semantics of the rules and, not_or, and_pos, and or_neg changed so that now they expect an argument as to the position in which the concluding element is from an n-ary application of the operators and or or.