cleaned covertree; fixed comonoid instance