Plane Euclidean Geometry: domain specific language and solver.