sig: fill in nil/0 for optional unprovided args

strings just nil, not "" yet.
x=N,y:=1 works, x=N|y=N works, x=N|y:=1 not