The «perpendicular» constraint seems to be limited to straight lines.
It would be useful to add support for other geometries (circles, ellipses, and splines).
This could be implemented with a small modification the tangent constraint solver. All it would take is to impose a constraint at 90º from the tangent line.