how should aggregations over null work? +/1.1 2.2 0n
is 3.3 in k4 but 0n elsewhere. should we let the user filter 0n explicitly?
one possibility: have +/ etc be naive(and fast) and add "sum", "max", "avg" builtins which do more work (e.g. filter 0n, sum may use a compensated algorithm)