Added bounded sum. Also removed normalization in operations on merging two sets, as it makes it
difficult to scale when using the result to merge with yet another set.