add PositiveAngle, Line, LineSegment

PositiveAngle serves as a normalized angular type for lines and line
segments.

Line and LineSegment are yet unimplemented traits.