Add support for additives

[RichardMoot]

Add additives together with a contraction condition as proposed by Maieli.

This will be a major update/rewrite since it will complicate (at least) the axiom linking component: it will allow an atom to not be linked at all (if a plus link "erases" it) or to be linked multiple times (if it has a contraction link as a parent).