revamped CoverTree's Monoid; still some minor bugs with maxDescDist and separating constraints