twee-0.1: tests/length.p

cnf(a, axiom, '++'(Xs, '++'(Ys, Zs)) = '++'('++'(Xs, Ys), Zs)).
cnf(a, axiom, length('++'(Xs, Ys)) = length('++'(Ys, Xs))).