combinators in Literal and Clause

combinators for positions, folding, and inequalities