No mco

Successfully removed monoid coproduct. 
Should be OK to merge
Companion branch in -lib