Concept for line segments supported by a line that is a model of Kernel::Line_3, and whose endpoints are models of the SphericalKernel::CircularArcPoint_3 concept.