A model fo of this type must provide:
AlgebraicKernelForCircles::CompareY AlgebraicKernelForCircles::CompareXY CircularKernel::CompareX_2