use vectors for ConstructedLine
use vectors in ConstructedPoint