Expand `Segment` capabilities to more than Bezier Curve

[carlos-adir]

The current implementation says Segment is a Bezier curve with domain [0, 1].

As constructor, we give the control points of the Bezier Curve.

The idea is to make Segment also accept other basis, such as Polynomial

This is a requirement for infinite curves: The line p(t) = (1 - t, 3 * t - 7) is infinity only if the segment has domain (-inf, +inf)