Change sum() implementation multiplicity [1,1] instead of [0,1]
Merge branch 'unstable' of https://github.com/metaborg/relations into unstable