Intersecting lines in euclidean geometry

Stream: Is there code for X?

[Adrian Marti]

Has someone found a good way to intersect lines in (2D) Euclidean Geometry? I guess for two AffineSubspaces, we do have three distinct situations:
1) The lines are identical
2) The lines do not intersect (they are parallel)
3) The lines have precisely one intersection

It would be especially useful to have a function that constructs the intersection quickly (without long case distinctions on the dimension of the intersection of the two subspaces) in such a way that the right thing comes out when they do have precisely one intersection. How would one go about building a reasonable API for this (if it's not in mathlib already)?