[ test ] new property: idempotent
[ issue 1222 ] fixed: seqPO needs to be orPO in PO for tuples
[ util ] Direct implementation of Utils.PartialOrd.leqPO
[ test ] Utils.PartialOrd.orPO and seqPO are idempotent