Enable automatic K deduction for Accumulation

[genedan]

Not all accumulation functions have K explicitly defined. It would be nice to have k as an optional argument, and when it is not given, the value for k should be extracted from the given accumulation function.