#36 implicit relations

[Tom Downey]

Graph implicit relations using interval arithmetic and interval constraints.

Support a draggable point that can snap to the "nearest" solution, but can be dragged onto other parts of the curve (maybe a ghost point that tracks the cursor position when dragging, while the main point is constrained to sit on a solution pixel, if one is within a certain distance from the cursor).