A model fo of this type must provide:
AlgebraicKernelForCircles::CompareX AlgebraicKernelForCircles::CompareXY CircularKernel::CompareY_2