A model fo of this type must provide:
AlgebraicKernelForCircles::CompareX AlgebraicKernelForCircles::CompareY CircularKernel::CompareXY_2