Fixed bug in tools, caching now correct for addition.
Implemented Coproduct
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Implemented Coproduct