more tuples and vectors, alternate dir

personoj/alt/SetVec.lp

personoj/alt/coercions.lp

personoj/alt/quantifiers.lp

personoj/alt/tuple.lp

personoj/coercions.lp

personoj/eqtup.lp

personoj/examples/stack.lp

personoj/examples/transitivity.lp

personoj/extra/arity-tools.lp

personoj/extra/bool_plus.lp

personoj/extra/pvs_cert_minus.lp

personoj/extra/star.lp

personoj/extra/telescope.lp

personoj/proj.lp

personoj/tuple.lp