\l tck/tck

/ a few factor words:

f:              D[0]

list:           W[1]{[x;y;a](x,~@a;y)}

cons:           W[2]{[x;y;a;b](x,,(,a),b;y)}              
uncons:         W[1]{[x;y;a](x,(*a;:[1<#a;1_ a;0]);y)} 

callcc0:        D[(0;`callcc)]
callcc1:        D[(1;`callcc)]

call:           i

unit:           W[1]{[x;y;a](x,,,a;y)}
append:         W[2]{[x;y;a;b](x,,a,b;y)}

drop:           pop
drop2:          W[2]{[x;y;a;b](x;y)}

dip2:           W[3]{[x;y;a;b;p](x;p,(Q a;Q b),y)}
dup2:           W[2]{[x;y;a;b](x,(a;b;a;b);y)}

not:            W[1]{[x;y;a](x,,~a;y)}
xor:            W[2]{[x;y;a;b](x,,~a=b;y)}
and:            W[2]{[x;y;a;b](x,,a&b;y)}
or:             W[2]{[x;y;a;b](x,,a|b;y)}